Computer Security Resource Center

Computer Security Resource Center

Computer Security
Resource Center

This is an archive
(replace .gov by .rip)

Automated Combinatorial Testing for Software ACTS

Workshop Papers

In 2012, we co-founded the International Workshop on Combinatorial Testing, focused on theory and application of CT.  Papers from previous workshops are listed below. 

IWCT 2019

  • A Framework for Automated Combinatorial Test Generation
    Joshua Bonn, Konrad Fögen and Horst Lichter
  • On the Industrial Application of Combinatorial Testing for Autonomous Driving Functions
    Jianbo Tao, Yihao Li, Franz Wotawa, Hermann Felbinger and Mihai Nica
  • An Approach to T-way Test Sequence Generation With Constraints
    Feng Duan, Yu Lei, Raghu Kacker and Rick Kuhn
  • Efficient and Guaranteed Detection of t-way Failure-inducing Combinations
    Paolo Arcaini, Angelo Gargantini and Marco Radavelli
  • Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array
    Chang Rao, Nan Li, Yu Lei, Raghu Kacker, Richard Kuhn and Jin Guo
  • Partitioned Search with Column Resampling for Locating Array Construction
    Erin Lanus, Charles Colbourn and Douglas Montgomery
  • Measuring Combinatorial Coverage at Adobe
    Riley Smith, Darryl Jarman, Richard Kuhn, Raghu Kacker, Dimitris Simos and Jared Bellows
  • On Measuring Combinatorial Coverage of Manually Created Test Cases for Industrial Software  
    Miraldi Fifo, Eduard Paul Enoiu and Wasif Afzal
  • Reduce Test Cost by Reusing Test Oracles through Combinatorial Join 
    Hiroshi Ukai, Xiao Qu, Hironori Washizaki and Yoshiaki Fukazawa
  • Applying Combinatorial Testing to Large-scale Data Processing at Adobe
    Riley Smith, Darryl Jarman, Richard Kuhn, Raghu Kacker, Dimitris Simos, Ludwig Kampel, Manuel Leithner and Gabe Gosney
  • Practical Fault Localization with Combinatorial Test Design
    Dale Blue, Andrew Hicks, Rachel Tzoref-Brill and Ryan Rawlins
  • An Industrial Study on Applications of Combinatorial Testing in Modern Web Development and Cloud Computing   
    Murat Ozcan
  • Crucial Tool Features for Successful Combinatorial Input Parameter Testing in an Industrial Application   
    Christian Eitner and Franz Wotawa
  • Scenario Sampling for Cyber Physical Systems using Combinatorial Testing 
    Akihisa Yamada, Clovis Eberhart, Fuyuki Ishikawa and Nian-Ze Lee

 

IWCT 2018 

  • A Satisfiability-Based Approach to Generation of Constrained Locating Arrays
    Hao Jin, Takashi Kitamura, Eun-Hye Choi and Tatsuhiro Tsuchiya
  • Optimal Scheduling for Combinatorial Software Testing and Design of Experiments
    Robert V. Binder
  • Enumerator: An Efficient Approach for Enumerating all Valid t-tuples (short 20 mins)
    Hanefi Mercan, Kamer Kaya and Cemal Yilmaz
  • Combinatorial Test Design – smarter way to connect with the business for quality coverage
    Saritha Route and Sudheer Pendela
  • Bringing combinatorial interaction testing modeling and generation to the web
    Angelo Gargantini and Marco Radavelli
  • CAmetrics: A Tool for Advanced Combinatorial Analysis and Measurement of Test Sets
    Manuel Leithner, Kristoffer Kleine and Dimitris E. Simos
  • Combinatorial Testing with Constraints for Negative Test Cases (short 20 mins)
    Konrad Fögen and Horst Lichter
  • Practical Amplification of Condition/Decision Test Coverage by Combinatorial Testing
    Artur Andrzejak and Thomas Bach
  • The effect of time-between-events for sequence interaction testing of a real-time system
    Chek Pin Yang, Gunwant Dhadyalla, James Marco and Paul Jennings
  • Combining Combinatorial Testing and Metamorphic Testing for Testing a Logic-based Non-monotonic Reasoning System (short 20 mins)
    Franz Wotawa
  • Adapting Unit Tests by Generating Combinatorial Test (short 20 mins)
    Hermann Felbinger, Franz Wotawa and Mihai Nica


IWCT 2017 

  • Estimating t-way Fault Profile Evolution During Testing
    D. Richard Kuhn, Raghu N. Kacker and Jeff Lei[slides]
  • Mutation Score, Coverage, Model Inference: Quality Assessment For t-way Combinatorial Test-Suites
    Hermann Felbinger, Franz Wotawa and Mihai Nica[slides]
  • Optimizing IPOG’s Vertical Growth with Constraints Based on Hypergraph Coloring
    Feng Duan, Yu Lei, Linbin Yu, Raghu N. Kacker and D. Richard Kuhn  [slides]
  • Test Case Generation with Regular Expressions and Combinatorial Techniques
    Macario Polo, Francisco Ruiz Romero, Rosana Rodríguez-Bobada Aranda and Ignacio García-Rodríguez
  • Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver
    Chang Rao, Jin Guo, Nan Li, Jeff Lei, Yadong Zhang, Yao Li and Yaxin Cao  [slides]
  • Applications of Practical Combinatorial Testing Methods at Siemens Industry Inc.
    Murat Ozcan  [slides]
  • Using Timed Base-Choice Coverage Criterion for Testing Industrial Control Software Bergstrom and Eduard Enoiu  [slides]
  • Finding Minimum Locating Arrays Using a SAT Solver
    Tatsuya Konishi, Hideharu Kojima, Hiroyuki Nakagawa and Tatsuhiro Tsuchiya  [slides]
  • Test Optimisation using Combinatorial Test Design
    Saritha Route  [slides]
  • Building Combinatorial Test Input Model from Use Case Artefacts
    Preeti S, Milind B, Medhini S. Narayan and Krishnan Rangarajan  [slides]
  • Combinatorial Methods for Modelling Composed Software Systems
    Ludwig Kampel, Bernhard Garn and Dimitris E. Simos  [slides]
  • Combinatorial Interaction Testing for Automated Constraint Repair
    Angelo Gargantini, Justyna Petke and Marco Radavelli  [slides]
  • A composition-based method for combinatorial test design (short 15 mins)
    Anna Zamansky, Eitan Farchi, Sery Khoury and Amir Schwartz  [slides]
  • Applying Combinatorial Testing to Data Mining Algorithms
    Jaganmohan Chandrasekaran, Huadong Feng, Yu Lei, D. Richard Kuhn and Raghu N. Kacker  [slides]
  • Combinatorial Testing on Implementations of HTML5 Support
    Xi Deng, Tianyong Wu, Jun Yan and Jian Zhang  [slides]
  • Combinatorial Testing on MP3 for Audio Players (short 15 mins)
    Shaojiang Wang, Tianyong Wu, Yuan Yao, Beihong Jin and Liping Ding   [slides]

 

IWCT 2016 

  • Evaluating the Effectiveness of BEN in Locating Different Types of Software Fault
    Jaganmohan Chandrasekaran, Laleh Sh. Ghandehari, Yu Lei, Raghu Kacker and Richard Kuhn [slides]
  • Analyzing Minimal Failure-Causing Schemas in Siemens Suite 
    Chiya Xu, Yuanchao Qi, Ziyuan Wang and Weifeng Zhang
  • Should We Care about “Don’t Care” Testing Inputs? Empirical Investigation of Pair-Wise TestingSergiy Vilkomir and Galen Pennell  [slides]
  • Towards Automatic Cost Model Discovery for Combinatorial Interaction Testing
    Gulsen Demiroz and Cemal Yilmaz  [slides]
  • Combinatorial Testing Implementations in Solutions Testing
    Anwar Sherif
  • Embedded Functions for Constraints and Variable Strength in Combinatorial Testing
    George Sherwood  [slides]
  • Test Oracles and Test Script Generation in Combinatorial Testing
    Peter M. Kruse  [slides]
  • Pseudo-exhaustive Testing of Attribute Based Access Control Rules
    Rick Kuhn, Vincent Hu, David Ferraiolo, Raghu Kacker and Yu Lei
  • Applying a pairwise coverage criteria to scenario-based testing 
    Lydie Du Bousquet, Mickaël Delahaye and Catherine Oriat [slides]
  • Pairwise Coverage-based Testing with Selected Elements in a Query for Database Applications
    Koji Tsumura, Hironori Washizaki, Yoshiaki Fukazawa, Keishi Oshima and Ryota Mibe
    [slides]

 

IWCT 2015

  • Embedded Functions in Combinatorial Test Designs 
    George Sherwood. 
  • Introducing Combinatorial Testing in the Organization a Report on a First Attempt
    Douglas Hillmer. 
  • Combining Minimization and Generation for Combinatorial Testing
    Itai Segall, Rachel Tzoref-Brill and Aviad Zlotnick. 
  • A First Systematic Mapping Study on Combinatorial Interaction Testing for Software Product Lines
    Roberto Erick Lopez-Herrejon, Stefan Fischer, Rudolf Ramler and Alexander Egyed. 
  • Evaluation of the IPO-Family Algorithms for Test Case Generation in Web Security Testing
    Josip Bozic, Bernhard Garn, Dimitris. E. Simos and Franz Wotawa. 
  • A process for non-functional combinatorial testing (short)
    Siegmar Züfle and Venkataraman Krishnamoorthy. 
  • Combinatorial Interaction Testing of Tangled Configuration Options (short)
    Arsalan Javeed and Cemal Yilmaz. 
  • Relationship between Pair-wise and MC/DC Testing: Initial Experimental Results (short)
    Sergiy Vilkomir and David Anderson. 
  • Why Combinatorial Testing Works: Analyzing Minimal Failure-Causing Schemas in Logic Expressions (short)
    Ziyuan Wang and Yuanchao Qi
  • Constraint Handling In Combinatorial Test Generation Using Forbidden Tuples
    Linbin Yu, Feng Duan, Yu Lei, Raghu N. Kacker and D. Richard Kuhn. 
  • Using Decision Trees to aid Algorithm Selection in Combinatorial Interaction Test Generation
    Angelo Gargantini and Paolo Vavassori. 
  • Flattening or Not of the Combinatorial Interaction Testing Models?(short)
    Christopher Henard, Mike Papadakis and Yves Le Traon. 
  • Improving IPOG’s Vertical Growth Based on a Graph Coloring Scheme
    Feng Duan, Linbin Yu, Yu Lei, Raghu N. Kacker and D. Richard Kuhn. 
  • Equivalence Class Verification and Oracle-free Testing Using Two-layer Covering Arrays (short)
    Rick Kuhn, Raghu Kacker, Yu Lei and Jose Torres-Jimenez. 
  • BEN: A Combinatorial Testing-Based Fault Localization Tool (short) 
    Laleh Shikh Gholamhosseinghandehari, Jaganmohan Chandrasekaran, Yu Lei, Raghu Kacker and Richard Kuhn. 

 

IWCT 2014 

  • Combinatorial Testing for an Automotive Hybrid Electric Vehicle Control System - A Case Study, Gunwant Dhadyalla, Neelu Kumari and Timothy Snell
  • Eris: A Tool for Combinatorial Testing of the Linux System Call Interface,
    Bernhard Garn and Dimitris. E. Simos
  • An Empirical Comparison of Combinatorial and Random Testing,
    Laleh Shikh Gholamhosseingghandehari, Jacek Czerwonka, Yu Lei, Soheil Shafiee, Raghu Kacher and Richard Kuhn
  • Using Combinatorial Approaches for Testing Mobile Applications,
    Sergiy Vilkomir and Brandi Amstutz
  • Combinatorial interaction testing of a Java Card static verifier (short paper),
    Andrea Calvagna, Andrea Fornaia and Emiliano Tramontana
  • Extracting the Combinatorial Test Parameters and Values from UML Sequence Diagrams,
    Preeti Satish, Arinjita Paul and Krishnan Rangarajan
  • Validation of Models and Tests for Constrained Combinatorial Interaction Testing,
    Paolo Arcaini, Angelo Gargantini and Paolo Vavassori
  • Functional Dependence and Equivalence Class Factors in Combinatorial Test Designs,
    George Sherwood
  • Combinatorial Testing with Order Requirements,
    Eitan Farchi, Itai Segall, Rachel Tzoref-Brill and Aviad Zlotnick
  • Test Suite Reduction by Combinatorial-based Coverage of Event Sequences (short paper),
    Quentin Mayo, Renee Bryce and Ryan Michaels
  • Test Suite Prioritization by Switching Cost,
    Huayao Wu, Changhai Nie and Fei-Ching Kuo
  • Refining the Randomized Post-optimization Strategy for Covering Arrays,
    Xiaohua Li, Zhao Dong, Huayao Wu, Changhai Nie and Kai-Yuan Cai
  • Introducing Combinatorial Testing in a Large Organization: Pilot Project Experience Report,
    Jon Hagar, Rick Kuhn, Raghu Kacker and Tom Wissink
  • Estimating Fault Detection Effectiveness,
    Rick Kuhn, Raghu Kacker and Yu Lei

 

IWCT 2013 

  • Empirically Identifying the Best Greedy Algorithm for Covering Array Generation,
    Changhai Nie, Jing Jiang, Huayao Wu, Hareton Leung and Charles J. Colbourn
  • Evaluation of t-wise Approach for Testing Logical Expressions in Software,
    Sergiy Vilkomir, Oleksii Starov and Ranjan Bhambroo
  • On Use of Coverage Metrics in Assessing Effectiveness of Combinatorial Test Designs,
    Jacek Czerwonka
  • Cascade: A Test Generation Tool For Combinatorial Testing,
    Yong Zhao, Zhiqiang Zhang, Jun Yan and Jian Zhang
  • Identifying Failure-Inducing Combinations Using Tuple Relationship,
    Xintao Niu, Changhai Nie, Lei Yu and Alvin Chan
  • Better Bounds for Event Sequencing Testing,
    Oded Margalit
  • A Study in Prioritization for Higher Strength Combinatorial Testing,
    Xiao Qu and Myra Cohen
  • Combinatorial Test Architecture Design Using Viewpoint diagram,
    Yasuharu Nishi, Tetsuro Katayama and Satomi Yoshizawa
  • Experimenting with Category Partition's 1-way and 2-way test selection criteria,
    Yvan Labiche and Faezeh Sadeghi
  • Using Projections to Debug Large Combinatorial Models,
    Eitan Farchi, Itai Segall and Rachel Tzoref-Brill
  • Combinatorial Interaction Testing with Multi-Perspective Feature Models,
    Sachin Patel, Priya Gupta and Vipul Shah
  • Deriving Combinatorial Test Design Model from UML Activity Diagram,
    Preeti Satish, Sheeba K and Krishnan Rangarajan
  • Combinatorial Testing for Feature Models Using CitLab,
    Andrea Calvagna, Angelo Gargantini and Paolo Vavassori
  • Applications of Combinatorial Testing methods for Breakthrough Results in Software Testing,
    Manish Mehta and Roji Philip
  • Combinatorial Coverage Measurement Concepts and Applications,
    Rick Kuhn, Itzel Dominguez, Raghu Kacker and Yu Lei
  • Applying Combinatorial Testing to the Siemens Suite,
    Laleh Shikh Gholamhossein Ghandehari, Mehra N. Bourazjany, Yu Lei, Raghu Kacker and Richard Kuhn
  • An Input Space Modeling Methodology for Combinatorial Testing,
    Mehra Nouroz Borazjany, Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Raghu Kacker and Rick Kuhn

 

IWCT 2012

  • Effectiveness of Pair-wise Testing for Software with Boolean Inputs  
    William Alton Ballance, Sergiy Vilkomir, William Jenkins
  • Combinatorial Testing of ACTS: A Case Study  
    Mehra N.Borazjany, Linbin Yu, Yu Lei, Raghu Kacker, Rick Kuhn
  • A System Analysis Study Comparing Reverse Engineered Combinatorial Testing to Expert Judgment 
    Atlee M. Cunningham, Jr., Jon Hagar, Ryan J. Holman
  • CITLAB: a Laboratory for Combinatorial Interaction Testing 
    Angelo Gargantini, Paolo Vavassori
  • Identifying Failure-Inducing Combinations in a Combinatorial Test Set  
    Laleh Shikh Gholamhossein Ghandehari, Yu Lei, Tao Xie, Richard Kuhn, Raghu Kacker
  • Combinatorial Methods for Event Sequence Testing  
    D. Richard Kuhn, James M. Higdon, James F. Lawrence, Raghu N. Kacker, Yu Lei
  • Combinatorial Test Design in the TOSCA Testsuite: Lessons Learned and Practical Implications 
    Rudolf Ramler, Theodorich Kopetzky
  • Combinatorial Interaction Testing for Test Selection in Grammar-Based Testing 
    Elke Salecker, Sabine Glesner
  • Common Patterns in Combinatorial Models 
    Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
  • Simplified Modeling of Combinatorial Test Spaces 
    Itai Segall, Rachel Tzoref-Brill, Aviad Zlotnick
  • Isolating Failure-Inducing Combinations in Combinatorial Testing using Test Augmentation and Classification 
    Kiran Shakya, Tao Xie, Nuo Li, Yu Lei, Raghu Kacker, Richard Kuhn
  • Combinatorial Testing on ID3v2 Tags of MP3 Files 
    Zhiqiang Zhang, Xiaojian Liu, Jian Zhang

Created May 24, 2016, Updated July 31, 2020