Test Generation through Programming in UDITA
2010
Details
Title
Test Generation through Programming in UDITA
Author(s)
Gligoric, Milos ; Gvero, Tihomir ; Jagannath, Vilas ; Khurshid, Sarfraz ; Kuncak, Viktor ; Marinov, Darko
Published in
ICSE '10: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering
Volume
1
Pages
225–234
Conference
International Conference on Software Engineering (ICSE), 2010
Date
2010
Laboratories
LARA
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IINFCOM > LARA - Laboratory for Automated Reasoning and Analysis
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Peer-reviewed publications
Conference Papers
Work produced at EPFL
Published
Record creation date
2010-02-14