Checking Java implementation of a naming architecture using TestEra

Electronic Notes in Theoretical Computer Science

Volumn 55, Issue 3, 2001, Pages 322-342

  Khurshid, Sarfraz ^a   Marinov, Darko ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER ARCHITECTURE; COMPUTER NETWORKS; COMPUTER SIMULATION; COMPUTER SOFTWARE; DATA ACQUISITION; DATA STRUCTURES; FORMAL LANGUAGES; PROGRAM DEBUGGING;

ALLOY ANALYSERS; DEBUGGING; DYNAMIC NETWORKED ENVIRONMENTS; FIRST ORDER RELATIONAL LANGUAGES - TESTERA;

JAVA PROGRAMMING LANGUAGE;

EID: 4344661319     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00260-9     Document Type: Conference Paper

References (23)

1. Adjie-Winoto W., 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, 1999.
2. Ball T. and S. Rajamani, Automatically validating temporal safety properties of interfaces, in: Proc. 8th International SPIN Workshop on Model Checking of Software, 2001.
3. Beizer B. "Software Testing Techniques," 1990;International Thomson Computer Press
4. Chang J., D. Richardson and S. Sankar, Structural specification-based testing with ADL, in: Proc. Third International Symposium on Software Testing and Analysis, 1996.
5. Corbett J., 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, 2000.
6. Crawford J., M. Ginsberg, E. Luks and A. Roy, Symmetry-breaking predicates for search problems, in: Proc. Fifth International Conference on Principles of Knowledge Representation and Reasoning, 1996.
7. Demartini C., Iosif R., Sisto R. A deadlock detection tool for concurrent Java programs. 1999;Software - Practice and Experience
8. Goodenough J., Gerhart S. Toward a theory of test data selection. IEEE Transactions on Software Engineering. 1975
9. Havelund K., Pressburger T. Model checking Java programs using Java PathFinder. International Journal on Software Tools for Technology Transfer. 1999
10. Holzmann G.J. The model checker SPIN. IEEE Transactions on Software Engineering. 23:1997
11. Horcher H.-M., Improving software tests using Z specifications, in: Proc. 9th International Conference of Z Users, The Z Formal Specification Notation, 1995.
12. Jackson D., Automating first-order relational logic, in: Proc. ACM SIGSOFT Eighth International Symposium on Foundations of Software Engineering, San Diego, CA, 2000.
13. Jackson D. Alloy: A lightweight object modeling notation. ACM Transactions on Software Engineering and Methodology. 2001;. to appear
14. Jackson D., I. Schechter and I. Shlyakhter, ALCOA: The Alloy constraint analyzer, in: Proc. International Conference on Software Engineering, Limerick, Ireland, 2000.
15. Jackson D., I. Shlyakhter and M. Sridharan, A micromodularity mechanism, in: Proc. 9th ACM SIGSOFT Symposium on the Foundations of Software Engineering, Vienna, Austria, 2001, to appear.
16. Khurshid S. 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, 2000.
17. Marinov D. and S. Khurshid, TestEra: A novel framework for automated testing of Java programs (2001), submitted for publication.
18. McMillan K. "Symbolic Model Checking," 1993;Kluwer Academic Publishers
19. Offutt J. and A. Abdurazik, Generating tests from UML specifications, in: Proc. Second International Conference on the Unified Modeling Language, 1999.
20. Rumbaugh J., Jacobson I., Booch G. "The Unified Modeling Language Reference Manual," 1998;Addison Wesley Object Technology Series
21. Schwartz E., "Design and Implementation of Intentional Names," Master's thesis, MIIT Laboratory for Computer Science, Cambridge, MA (1999).
22. Shlyakhter I., Generating effective symmetry-breaking predicates for search problems, in: Proc. Workshop on Theory and Applications of Satisfiability Testing, 2001.
23. Spivey J.M. "The Z notation: A Reference Manual," second edition :1992;Prentice Hall