Testera: A novel framework for automated testing of Java programs

Proceedings - 16th Annual International Conference on Automated Software Engineering, ASE 2001

Volumn , Issue , 2001, Pages 22-31

  Marinov, Darko ^a   Khurshid, Sarfraz ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE;

ALLOY ANALYZERS; AUTOMATED TESTING; CORRECTNESS CRITERION; ENABLING TECHNOLOGIES; FIRST ORDER; INPUT SIZE; JAVA PROGRAM; NON-ISOMORPHIC; RELATIONAL LANGUAGES; TEST CASE;

ALLOYS;

EID: 67650736074     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2001.989787     Document Type: Conference Paper

References (28)

1. W. Adjie-Winoto, E. Schwartz, H. Balakrishnan, and J. Lilley. The design and implementation of an intentional naming system. In Proc. 17th ACM Symposium on Operating Systems, Kiawah Island, Dec. 1999.
2. R. Bayer. Symmetric binary B-trees: Data structure and maintenance algorithms. Acta Informatica, 1, 1972.
3. B. Beizer. Software Testing Techniques. International Thomson Computer Press, 1990.
4. M. Benedikt, T. Reps, and M. Sagiv. A decidable logic for describing linked data structures. In Proc. European Symposium on Programming, Amsterdam, The Netherlands, Mar. 1999.
5. J. Chang, D. Richardson, and S. Sankar. Structural specification-based testing with ADL. In Proc. ThirdInternationalSymposiumonSoftwareTestingandAnalysis,January 1996.
6. J. Corbett, M. Dwyer, J. Hatcliff, C. Pasareanu, Robby, S. Laubach, and H. Zheng. Bandera: Extracting finite-state models from Java source code. In Proc. 22nd International Conference on Software Engineering, June 2000.
7. C. Demartini, R. Iosif, and R. Sisto. A deadlock detection tool for concurrent Java programs. Software - Practice and Experience, July 1999.
8. J. Goodenough and S. Gerhart. Toward a theory of test data selection. IEEE Transactions on Software Engineering, June 1975.
9. K. Havelund and T. Pressburger. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer, 1999.
10. G. J. Holzmann. The model checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
11. H.-M. Horcher. Improving software tests using Z specifications. In Proc. 9th International Conference of Z Users, The Z Formal Specification Notation, 1995.
12. D.Jackson. Automating first-order relational logic. In Proc. ACM SIGSOFT Eighth International Symposium on Foundations of Software Engineering, San Diego, CA, November 2000.
13. D. Jackson. Alloy: A lightweight object modeling notation. ACMTransactionsonSoftwareEngineeringandMethodology, 2001. To appear.
14. D. Jackson, I. Schechter, and I. Shlyakhter. ALCOA: The Alloy constraint analyzer. In Proc. International Conference on Software Engineering, Limerick, Ireland, June 2000.
15. D. Jackson, I. Shlyakhter, and M. Sridharan. A micromodularity mechanism. In Proc. 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria, September 2001. To appear.
16. D. Jackson and M. Vaziri. Finding bugs with a constraint solver. In Proc. International Symposium on Software Testing and Analysis (ISSTA 2000), Portland, OR, Aug. 2000.
17. S. Khurshid and D. Jackson. Exploring the design of an intentional naming scheme with an automatic constraint analyzer. In Proc. 15th IEEE International Conference on Automated Software Engineering, Grenoble, France, Sept. 2000.
18. S. Khurshid and D. Marinov. Checking Java implementation of a naming architecture using TestEra. In Post-CAV Workshop on Software Model Checking, volume 55(3) of Electronic Notes in Theoretical Computer Science (ENTCS), Paris, France, July 2001. Elsevier Science.
19. T. Lev-Ami, T. Reps, M. Sagiv, and R. Wilhelm. Putting static analysis to work for verification: A case study. In Proc. International Symposium on Software Testing and Analysis, 2000.
20. T. Lev-Ami and M. Sagiv. TVLA: A system for implementing static analyses. In Proc. Static Analysis Symposium, Santa Barbara, CA, June 2000.
21. K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
22. A. Moeller and M. I. Schwartzbach. The pointer assertion logic engine. In Proc. SIGPLAN Conference on Programming Languages Design and Implementation, Snowbird, UT, June 2001.
23. J. Offutt and A. Abdurazik. Generating tests from UML specifications. In Proc. Second International Conference on the Unified Modeling Language, October 1999.
24. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley Object Technology Series, 1998.
25. S. Sankar and R. Hayes. Specifying and testing software components using ADL. Technical Report SMLI TR-94-23, Sun Microsystems Laboratories, Inc., Mountain View, CA, April 1994.
26. E. Schwartz. Design and implementation of intentional names. Master's thesis, MIT Laboratory for Computer Science, Cambridge, MA, June 1999.
27. I. Shlyakhter. Generating effective symmetry-breaking predicates for search problems. In Proc. Workshop on Theory and Applications of Satisfiability Testing, June 2001.
28. J. M. Spivey. The Z notation: A Reference Manual. Prentice Hall, second edition, 1992.