Login / Signup
XSTRESSOR : Automatic Generation of Large-Scale Worst-Case Test Inputs by Inferring Path Conditions.
Charitha Saumya
Jinkyu Koo
Milind Kulkarni
Saurabh Bagchi
Published in:
ICST (2019)
Keyphrases
</>
worst case
lower bound
small scale
real world
sufficient conditions
upper bound
automatically generate
np hard
test data
error bounds
web scale
greedy algorithm
case study
database systems
statistical tests
average case