Integration Testing from Structured First-Order Specifications via Deduction Modulo.
Delphine LonguetMarc AiguierPublished in: ICTAC (2009)
Keyphrases
- integration testing
- component based software
- black box
- unit testing
- object oriented programs
- higher order
- first order logic
- software testing
- test cases
- structured data
- software systems
- inference rules
- theorem proving
- high level
- theorem prover
- databases
- delay insensitive
- real world
- formal specification
- specification language
- database systems
- artificial intelligence