Mathematical software

JUGE
Referenced in 1 article [sw39682]
test case generators to support effective software testing. Such generators exist for various languages ... testing goals they aim to satisfy (e.g., unit-testing of libraries vs. system-testing ... benchmarking infrastructure (JUGE) supporting generators (e.g., search-based, random-based, symbolic execution, etc.) seeking ... competition, co-located with the Search-Based Software Testing Workshop, have taken place and used...

IGUANA
Referenced in 1 article [sw14422]
tool for automatically generating software test data using search-based approaches. Search-based approaches explore...

FloPSy
Referenced in 3 articles [sw12793]
FloPSy - search-based floating point constraint solving for symbolic execution. Recently there has been ... upsurge of interest in both, Search–Based Software Testing (SBST), and Dynamic Symbolic Execution...

Angelix
Referenced in 2 articles [sw26887]
Angelix: Semantics-based test-driven automated program repair tool for C programs. Automated program repair ... classified into search-based methods and semantics-based methods. Our semantic analysis based repair tool ... based on semantic information of the program and scales up to real-world software. Furthermore...

HOMAJ
Referenced in 0 articles [sw23767]
their software development processes. This paper presents HOMAJ, a higher order mutation testing tool ... test set that kills all the FOMs. Subtle HOMs can be valuable for improving test ... generating subtle HOMs, including several search-based software engineering techniques, enumeration search, and random search...

T3