FITE: future integrated testing environment

Authors:
Michael W. Whalen;Patrice Godefroid;Leonardo Mariani;Andrea Polini;Nikolai Tillmann;Willem Visser
Affiliations:
University of Minnesota, Minneapolis, MN, USA;Microsoft Research, Redmond, WA, USA;Università degli Studi di Milano Bicocca, Milano, Italy;Università degli Studi di Milano Bicocca, Milano, Italy;Microsoft Research, Redmond, WA, USA;University of Stellenbosch, Matieland, South Africa
Venue:
Proceedings of the FSE/SDP workshop on Future of software engineering research
Year:
2010

Citing 12
Cited 3

Software Engineering Economics

Software Engineering Economics
Reducing wasted development time via continuous testing

ISSRE '03 Proceedings of the 14th International Symposium on Software Reliability Engineering
Software partitioning for effective automated unit testing

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
White-box testing of behavioral web service contracts with Pex

TAV-WEB '08 Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications
Software model checking takes off

Communications of the ACM
A few billion lines of code later: using static analysis to find bugs in the real world

Communications of the ACM
Compositional may-must program analysis: unleashing the power of alternation

Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients

ASE '09 Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering
A practical escape and effect analysis for building lightweight method summaries

CC'07 Proceedings of the 16th international conference on Compiler construction
JPF-SE: a symbolic execution extension to Java PathFinder

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
The Google FindBugs fixit

Proceedings of the 19th international symposium on Software testing and analysis
Preemption sealing for efficient concurrency testing

TACAS'10 Proceedings of the 16th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Memoized symbolic execution

Proceedings of the 2012 International Symposium on Software Testing and Analysis
Modular and verified automatic program repair

Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Test-case generation and bug-finding through symbolic execution

Proceedings of the South African Institute for Computer Scientists and Information Technologists Conference

Quantified Score

Hi-index	0.00

Visualization

Abstract

It is well known that the later software errors are discovered during the development process, the more costly they are to repair, yet testing and automated analysis tools tend to be applied late in the development cycle. In this paper, we describe a future integrated testing environment (FITE) that continually analyzes code for a variety of functional and nonfunctional properties to provide developer feedback as code is being written. This instant feedback allows developers to fix errors as they are introduced, increasing developer productivity and software quality.