FITE: future integrated testing environment
暂无分享,去创建一个
Andrea Polini | Nikolai Tillmann | Michael W. Whalen | Patrice Godefroid | Willem Visser | Leonardo Mariani
[1] Sigmund Cherem,et al. A Practical Escape and Effect Analysis for Building Lightweight Method Summaries , 2007, CC.
[2] Nikolai Tillmann,et al. White-box testing of behavioral web service contracts with Pex , 2008, TAV-WEB '08.
[3] Michael D. Ernst,et al. Reducing wasted development time via continuous testing , 2003, 14th International Symposium on Software Reliability Engineering, 2003. ISSRE 2003..
[4] Patrice Godefroid,et al. Software partitioning for effective automated unit testing , 2006, EMSOFT '06.
[5] Sriram Sankaranarayanan,et al. Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.
[6] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.
[7] Darren D. Cofer,et al. Software model checking takes off , 2010, Commun. ACM.
[8] Sebastian Burckhardt,et al. Preemption Sealing for Efficient Concurrency Testing , 2010, TACAS.
[9] Dawson R. Engler,et al. A few billion lines of code later , 2010, Commun. ACM.
[10] William Pugh,et al. The Google FindBugs fixit , 2010, ISSTA '10.
[11] Corina S. Pasareanu,et al. JPF-SE: A Symbolic Execution Extension to Java PathFinder , 2007, TACAS.
[12] Patrice Godefroid,et al. Automated Whitebox Fuzz Testing , 2008, NDSS.
[13] Sriram K. Rajamani,et al. Compositional may-must program analysis: unleashing the power of alternation , 2010, POPL '10.