Testing of concurrent and imperative software using CLP.
Elvira AlbertPuri ArenasMiguel Gómez-ZamalloaPublished in: PPDP (2016)
Keyphrases
- test cases
- software testing
- software development
- source code
- quality assurance
- software systems
- software tools
- regression testing
- software reliability
- software package
- concurrent programs
- integration testing
- test data generation
- testing process
- usability testing
- constraint logic programming
- computer software
- test suite
- software architecture
- computer systems
- neural network
- real time
- test data
- website
- test case generation
- object oriented software
- information systems
- development lifecycle