BigTest: a symbolic execution based systematic test generation tool for Apache spark.

Muhammad Ali Gulzar, Madanlal Musuvathi, Miryung Kim

Browse the full ICSE paper archive.