FITE: Future integrated testing environment

Proceedings of the FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010

Volumn , Issue , 2010, Pages 401-405

  Whalen, Michael W ^a   Godefroid, Patrice ^b   Mariani, Leonardo ^c   Polini, Andrea ^d   Tillmann, Nikolai ^b   Visser, Willem ^e  

^a University of Minnesota   (United States)

^b MICROSOFT RESEARCH   (United States)

^c UNIVERSITY OF MILANO BICOCCA   (Italy)

^d UNIVERSITY OF CAMERINO   (Italy)

^e STELLENBOSCH UNIVERSITY   (South Africa)

Author keywords

Compositional analysis; Incremental analysis; Non functional analysis

Indexed keywords

AUTOMATED ANALYSIS; COMPOSITIONAL ANALYSIS; DEVELOPMENT CYCLE; DEVELOPMENT PROCESS; INCREMENTAL ANALYSIS; NON FUNCTIONAL PROPERTIES; NON-FUNCTIONAL ANALYSIS; SOFTWARE ERRORS; SOFTWARE QUALITY; TESTING ENVIRONMENT;

COMPUTER SOFTWARE SELECTION AND EVALUATION; ERRORS; FUNCTIONAL ANALYSIS; SOFTWARE ENGINEERING;

ENGINEERING RESEARCH;

EID: 79951594818     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1882362.1882444     Document Type: Conference Paper

References (14)

1. S. Anand, C. Pasareanu, and W. Visser. JPF-SE: A symbolic execution extension to Java PathFinder. In Proc. of 13th TACAS Conf., volume 4424, page 134. Springer, 2007.
2. N. Ayewah and W. Pugh. The google findbugs fixit. In ISSTA '10: Proceedings of the 19th international symposium on Software testing and analysis, pages 241-252, New York, NY, USA, 2010. ACM.
3. T. Ball, S. Burckhardt, K. Coons, M. Musuvathi, and S. Qadeer. Preemption sealing for efficient concurrency testing. In Proceedings of the 16th Annual Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), March 2010.
4. A. Bessey, K. Block, B. Chelf, A. Chou, B. Fulton, S. Hallem, C. Henri-Gros, A. Kamsky, S. McPeak, and D. R. Engler. A few billion lines of code later: using static analysis to find bugs in the real world. Communications of the ACM, 53(2):66-75, 2010.
5. B. Boehm. Software Engineering Economics. Prentice-Hall, Englewood Cliffs, NJ, 1981.
6. A. Chakrabarti and P. Godefroid. Software Partitioning for Effective Automated Unit Testing. In Proceedings of EMSOFT'2006 (6th Annual ACM & IEEE Annual Conference on Embedded Software), pages 262-271, Seoul, October 2006. ACM Press. (Pubitemid 47168596)
7. S. Cherem and R. Rugina. A practical escape and effect analysis for building lightweight method summaries. In In CC 2007: 16th International Conference on Compiler Construction, pages 172-186, 2007. (Pubitemid 350259630)
8. J. Deshmukh, E. A. Emerson, and S. Sankaranarayanan. Symbolic deadlock analysis in concurrent libraries and their clients. In ASE '09: Proceedings of the 2009 IEEE/ACM International Conference on Automated Software Engineering, pages 480-491, Washington, DC, USA, 2009. IEEE Computer Society.
9. P. Godefroid, M. Y. Levin, and D. Molnar. Automated whitebox fuzz testing. In Proceedings of NDSS'2008 (Network and Distributed Systems Security), pages 151-166, February 2008.
10. P. Godefroid, A. Nori, S. Rajamani, and S. Tetali. Compositional May-Must Program Analysis: Unleashing The Power of Alternation. In Proceedings of POPL'2010 (37th ACM Symposium on Principles of Programming Languages), Madrid, January 2010.
11. S. P. Miller, M. W. Whalen, and D. D. Cofer. Software model checking takes off. Commun. ACM, 53(2):58-64, 2010.
12. T. U. S. G. A. Office. Patriot missile defense report. Technical Report, B-247094. Available at: http://www.fas.org/spp/starwars/gao/im92026.htm, February 1992.
13. D. Saff and M. D. Ernst. Reducing wasted development time via continuous testing. In proceedings of the 14th International Symposium on Software Reliability Engineering. IEEE Computer Society, 2003.
14. N. Tillmann and J. de Halleux. White-box testing of behavioral web service contracts with pex. In TAV-WEB '08: Proceedings of the 2008 workshop on Testing, analysis, and verification of web services and applications, pages 47-48, New York, NY, USA, 2008. ACM.