Uniform descriptions for model based testing

Proceedings of the Australian Software Engineering Conference, ASWEC

Volumn 2004, Issue , 2004, Pages 96-105

  Krishnan, Padmanabhan ^a  

^a BOND UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TESTING; MANUAL TESTING; MATCHING OPERATORS; TEMPORAL LOGIC;

AUTOMATION; COMPUTATIONAL METHODS; COMPUTER SIMULATION; CONSTRAINT THEORY; HIGH LEVEL LANGUAGES; HTML; MATHEMATICAL MODELS; XML;

SEMANTICS;

EID: 2942616599     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASWEC.2004.1290462     Document Type: Conference Paper

References (21)

1. M. Benedikt, W. Fan, and G. Kuper. Structural Properties of XPath Fragments. In International Conference on Database Theory, volume 2572 of LNCS, pages 79-95. Springer, 2003.
2. M. Benjamin, D. Geist, A. Hartman, G. Mas, R. Smeets, and Y. Wolfsthal. A study in coverage-driven test generation. In Proceedings of the 36th ACM/IEEE conference on Design Automation Conference, pages 970-975, 1999.
3. J. P. Bowen, K. Bogdanov, J. Clark, M. Harman, R. Hierons, and P. Krause. FORTEST: Formal methods and testing. In Proc. COMPSAC 02: 26th IEEE Annual International Computer Software and Applications Conference, pages 91-101, Oxford, UK, August 2002. IEEE Computer Society Press.
4. H. Buwalda. Action figures. Software Testing and Quality Engineering, pages 42-47, March/April 2003.
5. H. Buwalda and M. Kasdorp. Getting automated testing under control. Software Testing and Quality Engineering, pages 39-44, November/December 1999.
6. J. Chen and S. Subramaniam. Specification-based Testing for GUI-based Applications. Software Quality Journal, 10:205-224, 2002.
7. E. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
8. J. Dick and A. Faivre. Automating the Generation and Sequencing of Test Cases from Model-Based Specifications. In Formal Methods Europe, LNCS 670, pages 268-284, 1993.
9. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in Property Specifications for Finite-state Verification. In 21st International Conference on Software Engineering, pages 411-420, 1999.
10. G. Friedman, A. Hartman, K. Nagin, and T. Shiran. Projected state machine coverage for software testing. In Proceedings of the international symposium on Software testing and analysis, pages 134-143. ACM Press, 2002.
11. A. Gargantini and C. Heitmeyer. Using Model Checking to Generate Tests from Requirements Specifications. In O. Nierstrasz and M. Lemoine, editors, Software Engineering-ESEC/FSE, LNCS 1687, pages 146-162, Toulouse, France, 1999. Springer Verlag.
12. W. Grieskamp, Y. Gurevich, W. Schulte, and M. Veanes. Generating finite state machines from abstract state machines. In Proceedings of the International symposium on Software testing and analysis. ACM Press, 2002.
13. R. Hierons. Testing from a Z specification. Software Testing Verification and Reliability, 7(1):19-33, 1997.
14. T. Jéron and P. Morel. Test generation derived from model-checking. In N. Halbwachs and D. Peled, editors, Computer Aided Verification, CAV '99, volume 1633 of Lecture Notes in Computer Science, pages 108-121, Trento, Italy, July 1999. Springer-Verlag.
15. X. Jia and H. Liu. Rigorous and automatic testing of web applications. In IASTED Conference on Software Engineering and Applications, pages 280-285, November 2002.
16. A. Memon and M. Soffa. Regression Testing of GUIs. In ESEC/FSE, pages 118-127, 2003.
17. T. Miller and P. Strooper. Supporting the Software Testing Process through Specification Animation. In Software Engineering and Formal Methods, pages 14-23. IEEE, 2003.
18. F. Ricca and P. Tonella. Analysis and testing of web applications. In Proceedings of the 23rd International Conference on Software Engineering (ICSE-01), pages 25-36. IEEE, May12-19 2001.
19. C. Stirling. Modal and temporal logics. In S. Abramsky, D. M. Gabbay, and T. S. E. Maibaum, editors, Handbook of Logic in Computer Science, pages 477-563. Oxford Science Publications, 1992.
20. G. Wimmel, H. Loetzbeyer, A. Pretschner, and O. Slotosch. Specification based test sequence generation with prepositional logic. Special Issue on Specification Based Testing, Journal on Software Testing, Validation, and Reliability (STVR), 10(4):229-248, 2000.
21. J. Zhang and S. C. Cheung. Automated Test Case Generation for the Stress Testing of Multimedia Systems. Software Practice and Experience, 32:1411-1435, 2002.