Return to search

Combining over- and under-approximating program analyses for automatic software testing

Thesis (Ph.D.)--Computing, Georgia Institute of Technology, 2009. / Committee Chair: Smaragdakis, Yannis; Committee Member: Dwyer, Matthew; Committee Member: Orso, Alessandro; Committee Member: Pande, Santosh; Committee Member: Rugaber, Spencer.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/429506042
Date January 2008
CreatorsCsallner, Christoph.
PublisherAtlanta, Ga. : Georgia Institute of Technology,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceAvailable online, Georgia Institute of Technology:

Page generated in 0.0015 seconds