C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
BigTest: a symbolic execution based systematic test generation tool for Apache spark.
Muhammad Ali Gulzar
Madanlal Musuvathi
Miryung Kim
Published in:
ICSE (Companion Volume) (2020)
Keyphrases
</>
test generation
symbolic execution
test cases
static analysis
test data generation
design automation
open source
source code
software testing
quality assurance
specification language
data flow
code coverage
real world
information systems
general purpose