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]