SIGN IN
SIGN UP
FITE: future integrated testing environment
Full Text:
PDF
Buy this Article
Authors:
Michael W. Whalen
University of Minnesota, Minneapolis, MN, USA
Patrice Godefroid
Microsoft Research, Redmond, WA, USA
Leonardo Mariani
Università degli Studi di Milano Bicocca, Milano, Italy
Andrea Polini
Università degli Studi di Milano Bicocca, Milano, Italy
Nikolai Tillmann
Microsoft Research, Redmond, WA, USA
Willem Visser
University of Stellenbosch, Matieland, South Africa
2010 Article
Bibliometrics
· Downloads (6 Weeks): 3
· Downloads (12 Months): 23
· Downloads (cumulative): 87
· Citation Count: 3
Published in:
· Proceeding
FoSER '10
Proceedings of the FSE/SDP workshop on Future of software engineering research
Pages 401-406
ACM
New York, NY
, USA
©2010
table of contents
ISBN: 978-1-4503-0427-6
doi>
10.1145/1882362.1882444
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Upcoming Conference:
SIGSOFT/FSE'14
Share:
|
Tags:
compositional analysis
incremental analysis
non-functional analysis
programming environments
symbolic execution
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder