The SCEAS System
Navigation Menu

Conferences in DBLP

International Symposium on Software Testing and Analysis (ISSTA) (issta)
2010 (conf/issta/2010)


  1. Proving memory safety of floating-point computations by combining static and dynamic program analysis. [Citation Graph (, )][DBLP]


  2. Strict control dependence and its effect on dynamic information flow analyses. [Citation Graph (, )][DBLP]


  3. Analysis of invariants for efficient bounded verification. [Citation Graph (, )][DBLP]


  4. Automatically identifying critical input regions and code in applications. [Citation Graph (, )][DBLP]


  5. Directed test generation for effective fault localization. [Citation Graph (, )][DBLP]


  6. Automated fixing of programs with contracts. [Citation Graph (, )][DBLP]


  7. Causal inference for statistical fault localization. [Citation Graph (, )][DBLP]


  8. Generating test cases for specification mining. [Citation Graph (, )][DBLP]


  9. Modeling consumer-perceived web application fault severities for testing. [Citation Graph (, )][DBLP]


  10. Automatic detection of unsafe component loadings. [Citation Graph (, )][DBLP]


  11. Learning from 6, 000 projects: lightweight cross-project anomaly detection. [Citation Graph (, )][DBLP]


  12. Perturbing numerical calculations for statistical analysis of floating-point program (in)stability. [Citation Graph (, )][DBLP]


  13. Automated analysis of load testing results. [Citation Graph (, )][DBLP]


  14. Mutation-driven generation of unit tests and oracles. [Citation Graph (, )][DBLP]


  15. OCAT: object capture-based automated testing. [Citation Graph (, )][DBLP]


  16. Testing system virtual machines. [Citation Graph (, )][DBLP]


  17. Parallel symbolic execution for structural test generation. [Citation Graph (, )][DBLP]


  18. Exploiting program dependencies for scalable multiple-path symbolic execution. [Citation Graph (, )][DBLP]


  19. On test repair using symbolic execution. [Citation Graph (, )][DBLP]


  20. Formal analysis of the effectiveness and predictability of random testing. [Citation Graph (, )][DBLP]


  21. A study on agility and testing processes in software organizations. [Citation Graph (, )][DBLP]


  22. The Google FindBugs fixit. [Citation Graph (, )][DBLP]


  23. Analyzing concurrency bugs using dual slicing. [Citation Graph (, )][DBLP]


  24. N-version disassembly: differential testing of x86 disassemblers. [Citation Graph (, )][DBLP]


  25. Software fault prediction tool. [Citation Graph (, )][DBLP]


  26. ASSURE: automated support for secure and usable requirements engineering. [Citation Graph (, )][DBLP]

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002