Property-Based Testing via Proof Reconstruction.
Roberto BlancoDale MillerAlberto MomiglianoPublished in: PPDP (2019)
Keyphrases
- image reconstruction
- desirable properties
- three dimensional
- reconstruction error
- artificial intelligence
- reconstructed image
- databases
- test generation
- reconstruction process
- theorem proving
- mathematical proofs
- discrete tomography
- tomographic reconstruction
- compressive sensing
- reconstruction method
- training set
- case study
- data mining