Approaches to specification-based testing
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
ACM Computing Surveys (CSUR)
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria
TAV4 Proceedings of the symposium on Testing, analysis, and verification
Structural Testing of Concurrent Programs
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering - Special issue on software architecture
Software testing at the architectural level
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
A deadlock detection tool for concurrent Java programs
Software—Practice & Experience
Using model checking to generate tests from requirements specifications
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Incremental Integration Testing of Concurrent Programs
IEEE Transactions on Software Engineering
Comparing test sets and criteria in the presence of test hypotheses and fault domains
ACM Transactions on Software Engineering and Methodology (TOSEM)
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
A Formal Definition of Hierarchical Predicate Transition Nets
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Mutation Operators for Specifications
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
An Automated Tool for Analyzing Petri Nets Using SPIN
Proceedings of the 16th IEEE international conference on Automated software engineering
Formally analyzing software architectural specifications using SAM
Journal of Systems and Software
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart
Proceedings of the 26th International Conference on Software Engineering
A methodology for formally modeling and analyzing software architecture of mobile agent systems
A methodology for formally modeling and analyzing software architecture of mobile agent systems
Flow analysis for verifying properties of concurrent software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Evaluating Test Suites and Adequacy Criteria Using Simulation-Based Models of Distributed Systems
IEEE Transactions on Software Engineering
Metamorphic testing of a Monte Carlo modeling program
Proceedings of the 6th International Workshop on Automation of Software Test
Hi-index | 0.00 |
High level Petri nets have been extensively used for modeling concurrent systems; however, their strong expressive power reduces their ability to be easily analyzed. Currently there are few effective formal analysis techniques to support the validation of high level Petri nets. The executable nature of high level Petri nets means that during validation they can be analyzed using test criteria defined on the net model. Recently, theoretical test adequacy coverage criteria for concurrent systems using high level Petri nets have been proposed. However, determining the applicability of these test adequacy criteria has not yet been undertaken. In this paper, we present an approach for evaluating the proposed test adequacy criteria for high level Petri nets through experimentation. In our experiments we use the simulation functionality of the model checker SPIN to analyze various test coverage criteria on high level Petri nets.