Sciweavers

Share
NFM
2011

Automated Test Case Generation with SMT-Solving and Abstract Interpretation

8 years 1 months ago
Automated Test Case Generation with SMT-Solving and Abstract Interpretation
Jan Peleska, Elena Vorobev, Florian Lapschies
Added 14 May 2011
Updated 14 May 2011
Type Journal
Year 2011
Where NFM
Authors Jan Peleska, Elena Vorobev, Florian Lapschies
Comments (0)
books