BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
concol (2)
unit (2)
test (2)
plane (1)
engin (1)

Stem cute$ (all stems)

3 papers:

CAVCAV-2006-SenA #model checking #testing #tool support
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools (KS, GA), pp. 419–423.
ESEC-FSEESEC-FSE-2005-SenMA #c #named #testing
CUTE: a concolic unit testing engine for C (KS, DM, GA), pp. 263–272.
CSLCSL-1990-Goerdt #proving
Cuting Plane Versus Frege Proof Systems (AG), pp. 174–194.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.