1. CPLEX processing can be deactivated on demand.
Campos, J.; Riboira, A.; Perez, A.; and Abreu, R. 2012.
Gzoltar: An Eclipse Plug-In for Testing and Debugging. In
IEEE/ACM International Conference on Automated Software
Engineering (ASE’ 12), 378–381. New York: Association for
Chen, Z.; Zhang, X.; and Xu, B. 2008. A Degraded ILP
Approach for Test Suite Reduction. Paper presented at the
Twentieth International Conference on Software Engineering and Knowledge Engineering (SEKE’08), San Francisco,
CA, USA, July 1–3.
Ferrer, J.; Kruse, P.; Chicano, F.; and Alba, E. 2015. Search
Based Algorithms for Test Sequence Generation in Functional Testing. Information and Software Technology 58(0):
Gotlieb, A., and Marijan, D. 2014. Flower: Optimal Test
Suite Reduction as a Network Maximum Flow. In
International Symposium on Software Testing and Analysis, ISSTA’ 14.
New York: Association for Computing Machinery.
Hao, D.; Zhang, L.; Wu, X.; Mei, H.; and Rothermel, G.
2012. On-Demand Test Suite Reduction. In Proceedings of the
34th International Conference on Software Engineering
(ICSE’ 12), 738–748. Los Alamitos, CA: IEEE Computer Society.
Harrold, M. J.; Gupta, R.; and Soffa, M. L. 1993. A Methodology for Controlling the Size of a Test Suite. ACM Transactions on Software Engineering and Methodology (TOSEM) 2( 3):
Hsu, H.-Y., and Orso, A. 2009. MINTS: A General Framework
and Tool for Supporting Test-Suite Minimization. In
Proceedings of the 31st International Conference on Software Engineering (ICSE’09), 419–429. Los Alamitos, CA: IEEE Computer Society.
Jeffrey, D., and Gupta, N. 2005. Test Suite Reduction with
Selective Redundancy. In Proceedings of the 21st IEEE International Conference on Software Maintenance, 549–558. Los
Alamitos, CA: IEEE Computer Society.
Li, D.; Jin, Y.; Sahin, C.; Clause, J.; and Halfond, W. G. J.
2014. Integrated Energy-Directed Test Suite Optimization.
In International Symposium on Software Testing and Analysis,
ISSTA’ 14. New York: Association for Computing Machinery.
Mouthuy, S.; Deville, Y.; and Dooms, G. 2007. Global Constraint for the Set Covering Problem. Paper presented at
Journées Francophones de Programmation par Con-traintes,Université d’Orléans, Orléans, France, 3–5 June.
Offutt, A. J.; Pan, J.; and Voas, J. M. 1995. Procedures for
Reducing the Size of Coverage-Based Test Sets. Paper presented at the Twelfth International Conference on Testing
Computer Software, Washington, DC, June.
Pachet, F., and Roy, P. 1999. Automatic Generation of Music
Programs. In Principles and Practice of Constraint Programming, volume 1713 of Lecture Notes in Computer Science.
Régin, J.-C. 1996. Generalized Arc Consistency for Global
Cardinality Constraint. In Proceedings of the Thirteenth
National Conference on Artifcial Intelligence and Eighth Innovative Applications of Artifcial Intelligence Conference, 209–
215. Menlo Park, CA: AAAI Press.
Rossi, F.; van Beek, P.; and Walsh, T. 2006. Handbook of Con-
straint Programming (Foundations of Artifcial Intelligence).
Amsterdam: Elsevier Science.
Stolberg, S. 2009. Enabling Agile Testing Through Continuous Integration. In Proceedings of the 2009 Agile Conference,
369–374. Los Alamitos, CA: IEEE Computer Society.
Tallam, S., and Gupta, N. 2005. A Concept Analysis Inspired
Greedy Algorithm for Test Suite Minimization. In
Proceedings of the 2005 ACM SIGPlAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE’05,
35–42. New York: Association for Computing Machinery.
Wang, S.; Ali, S.; and Gotlieb, A. 2015. Cost-Effective Test
Suite Minimization in Product Lines Using Search Techniques. Journal of Systems and Software 103 (May): 370–391.
Arnaud Gotlieb Ph.D., is a senior research scientist at Simula Research Laboratory, where he leads the Certus Software
Validation and Verification Center. He obtained his Ph.D.
degree in computer science from the University of Nice-Sophia Antipolis in 2000. He worked for seven years in
industry at Thales and then joined Inria, France, as a
research scientist before moving to Simula, Norway. He
coauthored more than 80 academic publications, led several research projects in software testing, cochaired several
program committees including the SEIP track of ICSE’ 14
and the testing and verification track of CP’ 16.
Dusica Marijan Ph.D. is a research scientist in software
engineering at Simula Research Laboratory, working on
practical strategies for more cost-effective software testing.
Her research interests include test automation and optimization, with a goal to help practitioners perform higher
quality testing at lower costs and with fewer resources. Prior to joining Simula, she worked as a senior software engineer in the mobile and multimedia software industry.
Visit AAAI on Facebook!
We invite all interested individuals to
check out the Facebook site by searching for AAAI. We welcome your feedback