Testing Web applications by modeling with FSMs
Top Cited Papers
- 1 July 2005
- journal article
- Published by Springer Science and Business Media LLC in Software and Systems Modeling
- Vol. 4 (3), 326-345
- https://doi.org/10.1007/s10270-004-0077-7
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Combination testing strategies: a surveySoftware Testing, Verification and Reliability, 2005
- Automating the generation and sequencing of test cases from model-based specificationsPublished by Springer Science and Business Media LLC ,2005
- Using formal methods to derive test frames in category-partition testingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Object state testing for object-oriented programsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Testing refinements of state-based formal specificationsSoftware Testing, Verification and Reliability, 1999
- Applicability of modified condition/decision coverage to software testingSoftware Engineering Journal, 1994
- Test selection based on finite state modelsIEEE Transactions on Software Engineering, 1991
- Testing Software Design Modeled by Finite-State MachinesIEEE Transactions on Software Engineering, 1978
- Methodology for the Generation of Program Test DataIEEE Transactions on Computers, 1975
- A Method for the Design of Fault Detection ExperimentsIEEE Transactions on Computers, 1970