LCT: An Open Source Concolic Testing Tool for Java Programs (2011)

AUTHORS:

Kähkönen Kari , Launiainen Tuomas , Saarikivi Olli , Kauttio Janne , Heljanko Keijo , Niemelä Ilkka

  • BOOKTITLE:
  • PAGES:
  • 75-80

URL:
http://users.ics.tkk.fi/kepa/publications/