An Automated Approach of Test Case Generation for Concurrent Systems from Requirements Descriptions.
Edgar SarmientoJulio Cesar Sampaio do Prado LeiteNoemi de La Rocque RodriguezArndt von StaaPublished in: ICEIS (2) (2014)
Keyphrases
- concurrent systems
- test case generation
- temporal logic
- test cases
- distributed systems
- software testing
- process algebra
- transition systems
- object oriented systems
- formal specification
- model checking
- petri net
- test suite
- test data generation
- high level
- java programs
- databases
- object oriented
- database
- static analysis
- multi agent
- artificial intelligence
- training data
- case study