Stem korat$ (all stems)

4 papers:

ICST-2009-SiddiquiK #generative #named #parallel #testing

PKorat: Parallel Generation of Structurally Complex Test Inputs (JHS, SK), pp. 250–259.

ESEC-FSE-2007-MisailovicMPKM #execution #generative #parallel #testing

Parallel test generation and execution with Korat (SM, AM, NP, SK, DM), pp. 135–144.

ICSE-2007-MilicevicMMK #generative #named #testing

Korat: A Tool for Generating Structurally Complex Test Inputs (AM, SM, DM, SK), pp. 771–774.

ISSTA-2002-BoyapatiKM #automation #java #named #testing

Korat: automated testing based on Java predicates (CB, SK, DM), pp. 123–133.