Enhanced testing of domain specific applications by automatic extraction of axioms from functional specifications

Proceedings - International Symposium on Software Reliability Engineering, ISSRE

Volumn 2003-January, Issue , 2003, Pages 181-190

  Sinha, A ^a   Smidts, C S ^a   Moran, A ^b  

^a UNIVERSITY OF MARYLAND   (United States)

^b Galois Connections Inc   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

QUERY LANGUAGES; RELIABILITY; SOFTWARE TESTING; SPECIFICATIONS;

AUTOMATIC EXTRACTION; DATABASE QUERIES; DOMAIN SPECIFIC; DOMAIN-SPECIFIC APPLICATION; EMBEDDED DOMAINS; FUNCTIONAL SPECIFICATION; MANUAL TESTING; TEST GENERATION MODELS;

SOFTWARE RELIABILITY;

EID: 33644902126     PISSN: 10719458     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2003.1251041     Document Type: Conference Paper

References (12)

1. Arango. G., "Domain analysis: From art form to engineering discipline." Fifth International Workshop on Software Specification and Design, pages 152-159, May 1989.
2. Deursen A., Klint P., and Visser J., "Domain-specific Languages: An annotated bibliography", ACM SIGPLAN Notices,vol.35, no. 6,pages. 26-36, 2000 http://www.cwi.nl/projects/dsl
3. Jeremy Dick, Alain Faivre, "Automating the Generation and Sequencing of Test Cases from Model-Based Specifications". FME 1993: 268-284.
4. Hudak P., "The Haskell School of Expression", Cambridge University Press, NY, 2000.
5. Hudak, P., "Conception, Evolution and Application of Functional Languages", ACM Computing Surveys, Vol.21, No.3, September 1991
6. Hughes, J., "Why Functional Programming Matters?",The Computer Journal, vol.32, April 1989.
7. nd USENIX Conference on DSL, Austin, Texas, Oct. 1999.
8. Peters D. K. and Parnas D. L., "Using Test Oracles Generated from Program Documentation", IEEE Transactions on Software Engineering, Vol 24, No. 3, pp. 161-173,1998
9. Jagadeesan L. J.,Porter A. A., Puchol C., Ramming C. J. and Votta L. G., "Specification-based testing of reactive software: tools and experiments", Proceedings of the Nineteenth International Conference on Software Engineering, Boston, Massachusetts, pages 525-535, May 1997.
10. Stocks, P. A., and Carrington, D. A. "Deriving Software Test Cases from Formal Specifications". Proceedings of the 6th Australian Software Engineering Conference, pp. 327-340,1991.
11. "Test Master User's Guide", Release 1.9.5, Empirix, New Hampshire,1999.
12. Thompson, S., "Haskell: The Craft of Functional Programming" Addison-Wesley, Essex, 1999.