Coloured Petri nets for abstract test generation in software engineering.
Alvaro SobrinhoIally AlmeidaLeandro Dias da SilvaLenardo Chaves e SilvaAdriano AraújoTássio Fernandes CostaAngelo PerkusichPublished in: Softw. Test. Verification Reliab. (2023)
Keyphrases
- test generation
- coloured petri nets
- software engineering
- software testing
- test cases
- symbolic execution
- design automation
- test sequences
- software development
- formal verification
- quality assurance
- static analysis
- artificial intelligence
- software systems
- development process
- mutation testing
- object oriented
- software projects
- reverse engineering
- programming language
- high level
- code coverage
- regression testing
- software architecture
- feature space
- data sets
- knowledge management
- information systems
- database systems
- cooperative
- training set
- integrity constraints
- matching algorithm