SMT2Test: from SMT formulas to effective test cases

One of the primary challenges in software testing is generating high-quality test inputs and obtaining corresponding test oracles. This paper introduces a novel methodology to mitigate this challenge in testing program verifiers by employing SMT (Satisfiability Modulo Theories) formulas as a univers...

Full description

Bibliographic Details

Main Authors:	Chengyu Zhang, Zhendong Su
Format:	Default Article
Published:	2024
Subjects:	Software engineering Theory of computation Numerical and computational mathematics Software and its engineering Software testing and debugging Formal software verification Empirical software validation Software testing Program verification SMT solving
Online Access:	https://hdl.handle.net/2134/30801140.v1
Tags:	Add Tag No Tags, Be the first to tag this record!