Testing ASP programs in ASPIDE.
Onofrio FebbraroKristian RealeFrancesco RiccaPublished in: CILC (2011)
Keyphrases
- answer set programming
- symbolic execution
- software testing
- answer set programs
- web applications
- answer sets
- declarative programming
- automatic programming
- test data
- test cases
- computer vision
- computer programs
- test suite
- logic programs
- programming environment
- case study
- social networks
- concurrent programs
- neural network