Symbiosis of static analysis and program testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2621, Issue , 2003, Pages 1-5

  Young, Michal ^a  

^a UNIVERSITY OF OREGON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 35248819648     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36578-8_1     Document Type: Article

References (16)

1. Glenn Ammons, Rastislav Bodik, and James R. Larus. Mining specifications. In Proceedings of the 29th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 4-16. ACM Press, 2002.
2. T. Ball and S. Rajamani. Checking temporal properties of software with boolean programs. In Proceedings of the Workshop on Advances in Verification, 2000.
3. Jim Bowring, Alessandro Orso, and Mary Jean Harrold. Monitoring deployed software using software tomography. In Proceedings of the 3002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, pages 2-9. ACM Press, 2002.
4. William R. Bush, Jonathan D. Pincus, and David J. Sielaff. A static analyzer for finding dynamic programming errors. Software - Practice and Experience, 30(7):775-802, 2000.
5. Ricky W. Butler and George B. Finelli. The infeasibility of quantifying the reliability of life-critical real-time software. IEEE Transactions on Software Engineering, 19(1):3-12, 1993.
6. M. Chechik and W. Ding. Lightweight reasoning about program correctness. Technical Report CSRG Technical Report 396, University of Toronto, 2000.
7. Benjamin Chelf, Dawson Engler, and Seth Hallem. How to write system-specific, static checkers in Metal. In Proceedings of the 2002 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, pages 51-60. ACM Press, 2002.
8. James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pǎsǎreanu, Robby, and Hongjun Zhenga. Bandera: Extracting finite-state models from Java source code. In International Conference on Software Engineering, pages 439-448, 2000.
9. Michael D. Ernst, Jake Cockrell, William G. Griswold, and David Notkin. Dynamically discovering likely program invariants to support program evolution. In International Conference on Software Engineering, pages 213-224, 1999.
10. Michael Harder. Improving test suites via generated specifications. Master's thesis, M.I.T., Dept. of EECS, May 2002.
11. Gerard J. Holzmann and Margaret H. Smith. An automated verification method for distributed systems software based on model extraction. IEEE Transactions on Software Engineering, 28(4):364-377, 2002.
12. J. Horgan and S. London. Data flow coverage and the C language. In Proceedings of the Fourth Symposium on Testing, Analysis, and Verification, pages 87-97, Victoria, Oct 1991. ACM Press.
13. William E. Howden. Symbolic testing and the DISSECT symbolic evaluation system. IEEE Transactions on Software Engineering, SE-3(4):266-278, July 1977.
14. D. Park, U. Stern, and D. Dill. Java model checking. In Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, Limerick, Ireland, June 2000.
15. Christina Pavlopoulou and Michal Young. Residual test coverage monitoring. In International Conference on Software Engineering, pages 277-284, 1999.
16. Wei Jen Yeh and Michal Young. Redesigning tasking structures of Ada programs for analysis: A case study. Software Testing, Verification, and Reliability, 4:223-253, December 1994.