The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. The real value of testing. [Citation Graph (, )][DBLP]

  2. Proofs from tests. [Citation Graph (, )][DBLP]

  3. Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. [Citation Graph (, )][DBLP]

  4. Testing for buffer overflows with length abstraction. [Citation Graph (, )][DBLP]

  5. Efficient solving of structural constraints. [Citation Graph (, )][DBLP]

  6. Using sensitivity analysis to create simplified economic models for regression testing. [Citation Graph (, )][DBLP]

  7. Effective and scalable software compatibility testing. [Citation Graph (, )][DBLP]

  8. Configuration-aware regression testing: an empirical study of sampling and prioritization. [Citation Graph (, )][DBLP]

  9. Finding errors in .net with feedback-directed random testing. [Citation Graph (, )][DBLP]

  10. Customization change impact analysis for erp professionals via program slicing. [Citation Graph (, )][DBLP]

  11. Finding bugs in java native interface programs. [Citation Graph (, )][DBLP]

  12. Cooperative debugging with five hundred million test cases. [Citation Graph (, )][DBLP]

  13. A metric for software readability. [Citation Graph (, )][DBLP]

  14. Comparing software metrics tools. [Citation Graph (, )][DBLP]

  15. Dynamic recognition of synchronization operations for improved data race detection. [Citation Graph (, )][DBLP]

  16. Racer: effective race detection using aspectj. [Citation Graph (, )][DBLP]

  17. Fault localization using value replacement. [Citation Graph (, )][DBLP]

  18. AFID: an automated fault identification tool. [Citation Graph (, )][DBLP]

  19. The probabilistic program dependence graph and its application to fault diagnosis. [Citation Graph (, )][DBLP]

  20. Practical pluggable types for java. [Citation Graph (, )][DBLP]

  21. Verifying dereference safety via expanding-scope analysis. [Citation Graph (, )][DBLP]

  22. Merging equivalent contexts for scalable heap-cloning-based context-sensitive points-to analysis. [Citation Graph (, )][DBLP]

  23. Are your votes really counted?: testing the security of real-world electronic voting systems. [Citation Graph (, )][DBLP]

  24. Dynamic test input generation for web applications. [Citation Graph (, )][DBLP]

  25. Finding bugs in dynamic web applications. [Citation Graph (, )][DBLP]

  26. Automatic documentation inference for exceptions. [Citation Graph (, )][DBLP]

  27. Universal symbolic execution and its application to likely data structure invariant generation. [Citation Graph (, )][DBLP]

  28. Dynamic inference of likely data preconditions over predicates by tree learning. [Citation Graph (, )][DBLP]

  29. DEFECTS 2008: international workshop on defects in large software systems. [Citation Graph (, )][DBLP]

  30. 6th workshop on parallel and distributed systems: testing and debugging (PADTAD '08). [Citation Graph (, )][DBLP]

  31. Workshop on testing, analysis and verification of web software (TAV-WEB 2008). [Citation Graph (, )][DBLP]

  32. WODA 2008: the sixth international workshop on dynamic analysis. [Citation Graph (, )][DBLP]

  33. Workshop on state-space exploration for automated testing (SSEAT 2008). [Citation Graph (, )][DBLP]

System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002