Simulation and Regression Testing Technique for Software Formal Specifications Based on Extended Place/Transition Net with Attributed Tokens.
Tomohiko TakagiRyo KurozumiPublished in: J. Robotics Netw. Artif. Life (2021)
Keyphrases
- regression testing
- software testing
- formal specification
- software maintenance
- test cases
- reverse engineering
- test suite
- software development
- formal specification language
- object oriented design
- software quality
- quality assurance
- software systems
- testing process
- specification languages
- software components
- object oriented software
- source code
- software engineering
- formal methods
- temporal logic
- data sets
- design methodology
- test generation
- specification language
- model checking
- object oriented
- software design
- open source
- protocol specification
- real world