BigTest: A Symbolic Execution Based Systematic Test Generation Tool for Apache Spark (Journal Article) | NSF PAGES

skip to main content

The NSF Public Access Repository (NSF-PAR) system and access will be unavailable from 11:00 PM ET on Friday, September 29 until 11:59 PM ET on Saturday, September 30 due to maintenance. We apologize for the inconvenience.

Citation Details

BigTest: A Symbolic Execution Based Systematic Test Generation Tool for Apache Spark

Authors:: Gulzar, Muhammad Ali; Musuvathi, Madanlal; Kim, Miryung

Award ID(s):: 1723773 1764077

Publication Date:: 2020-06-01

NSF-PAR ID:: 10183049

Journal Name:: Proceedings of 42nd IEEE/ACM International Conference on Software Engineering

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Publisher's Version of Record
https://doi.org/10.1145/3377812.3382145