Yu Lei

Proceedings of the IEEE/ACM 3rd International Conference on AI Engineering, 2024

Proxima: A Proxy Model-Based Approach to Influence Analysis.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Artificial Intelligence Testing, 2024

2023

RATE: A model-based testing approach that combines model refinement and test execution.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., March, 2023

Security Analysis of Zigbee Protocol Implementation via Device-agnostic Fuzzing.

[BibT_eX]

[DOI]

DTRAP, 2023

Synthetic Data Generation Using Combinatorial Testing and Variational Autoencoder.

[BibT_eX]

[DOI]

Krishna Khadka

Proceedings of the IEEE International Conference on Software Testing, Verification and Validation, ICST 2023, 2023

MagicMirror: Towards High-Coverage Fuzzing of Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

Intelligent Zigbee Protocol Fuzzing via Constraint-Field Dependency Inference.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2023, 2023

SmartExecutor: Coverage-Driven Symbolic Execution Guided by a Function Dependency Graph.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Blockchain Research & Applications for Innovative Networks and Services, 2023

2022

Combinatorial Test Generation for Multiple Input Models With Shared Parameters.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

A Theory of Pending Schemas in Combinatorial Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Enhance Combinatorial Testing With Metamorphic Relations.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Measuring the Adequacy of a Test Suite With Respect to a Modeled Test Space.

[BibT_eX]

[DOI]

IEEE Softw., 2022

A Combinatorial Approach to Fairness Testing of Machine Learning Models.

[BibT_eX]

[DOI]

Ankita Ramjibhai Patel

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

Applying Combinatorial Testing to High-Speed Railway Automatic Train Protection System.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Software Testing, 2022

One size does not fit all: security hardening of MIPS embedded systems via static binary debloating for shared libraries.

[BibT_eX]

[DOI]

Proceedings of the ASPLOS '22: 27th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Lausanne, Switzerland, 28 February 2022, 2022

DeltaExplainer: A Software Debugging Approach to Generating Counterfactual Explanations.

[BibT_eX]

[DOI]

Sunny Shree

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2022

2021

Correction to: Factorials Experiments, Covering Arrays, and Combinatorial Testing.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2021

Factorials Experiments, Covering Arrays, and Combinatorial Testing.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2021

Z-Fuzzer: device-agnostic fuzzing of Zigbee protocol implementation.

[BibT_eX]

[DOI]

Proceedings of the WiSec '21: 14th ACM Conference on Security and Privacy in Wireless and Mobile Networks, Abu Dhabi, United Arab Emirates, 28 June, 2021

Unleashing the hidden power of compiler optimization on binary code difference: an empirical study.

[BibT_eX]

[DOI]

Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

A Combinatorial Approach to Testing Deep Neural Network-based Autonomous Driving Systems.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

A Combinatorial Approach to Explaining Image Classifiers.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Software Testing, 2021

Evaluation of T-Way Testing of DNNs in Autonomous Driving Systems.

[BibT_eX]

[DOI]

Ankita Ramjibhai Patel

Proceedings of the 2021 IEEE International Conference on Artificial Intelligence Testing, 2021

2020

An Interleaving Approach to Combinatorial Testing and Failure-Inducing Interaction Identification.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Identifying Failure-Causing Schemas in the Presence of Multiple Faults.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

A Combinatorial Testing-Based Approach to Fault Localization.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Input Space Coverage Matters.

[BibT_eX]

[DOI]

Computer, 2020

General Message from the IWCT Workshop Chairs.

[BibT_eX]

[DOI]

Dimitris E. Simos

Changhai Nie

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Combinatorial Methods for Explainable AI.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Effectiveness of dataset reduction in testing machine learning algorithms.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference On Artificial Intelligence Testing, 2020

2019

Testing TLS using planning-based combinatorial methods and execution framework.

[BibT_eX]

[DOI]

Softw. Qual. J., 2019

M-PCM-OFFD: An effective output statistics estimation method for systems of high dimensional uncertainties subject to low-order parameter interactions.

[BibT_eX]

[DOI]

Math. Comput. Simul., 2019

Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2019

Using Parameter Mapping to Avoid Forbidden Tuples in a Covering Array.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

Weighted Combinatorial Sequence Testing for the TLS Protocol.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

An Approach to T-Way Test Sequence Generation With Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2019 IEEE International Conference on Software Testing, 2019

IPSO: A Scaling Model for Data-Intensive Applications.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

2018

Stateless techniques for generating global and local test oracles for message-passing concurrent programs.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Pseudo-Exhaustive Verification of Rule Based Systems.

[BibT_eX]

[DOI]

Proceedings of the 30th International Conference on Software Engineering and Knowledge Engineering, 2018

Safety-Critical System Modeling in Model-Based Testing with Hazard and Operability Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE International Conference on Software Quality, 2018

Combinatorial security testing course.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual Symposium and Bootcamp on Hot Topics in the Science of Security, 2018

A Method-Level Test Generation Framework for Debugging Big Data Applications.

[BibT_eX]

[DOI]

Huadong Feng

Proceedings of the IEEE International Conference on Big Data (IEEE BigData 2018), 2018

2017

Testing TLS Using Combinatorial Methods and Execution Framework.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2017

Using Delta Debugging to Minimize Stress Tests for Concurrent Data Structures.

[BibT_eX]

[DOI]

Jing Xu

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Applying Combinatorial Testing to High-Speed Railway Track Circuit Receiver.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A Model for T-Way Fault Profile Evolution during Testing.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Optimizing IPOG's Vertical Growth with Constraints Based on Hypergraph Coloring.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Applying Combinatorial Testing to Data Mining Algorithms.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

MirrorDroid: A framework to detect sensitive information leakage in Android by duplicate program execution.

[BibT_eX]

[DOI]

Sarker T. Ahmed Rumee

Donggang Liu

Proceedings of the 51st Annual Conference on Information Sciences and Systems, 2017

2016

Using combinatorial testing to build navigation graphs for dynamic web applications.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

Measuring and specifying combinatorial coverage of test input configurations.

[BibT_eX]

[DOI]

Innov. Syst. Softw. Eng., 2016

Towards Agile Testing for Railway Safety-critical Software.

[BibT_eX]

[DOI]

Proceedings of the Scientific Workshop Proceedings of XP2016, 2016

A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing.

[BibT_eX]

[DOI]

Dimitris E. Simos

Kristoffer Kleine

Bernhard Garn

Proceedings of the Testing Software and Systems, 2016

Applying combinatorial test data generation to big data applications.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

The Relationship between Software Bug Type and Number of Factors Involved in Failures.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE International Symposium on Software Reliability Engineering Workshops, 2016

Pseudo-Exhaustive Testing of Attribute Based Access Control Rules.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

Evaluating the Effectiveness of BEN in Localizing Different Types of Software Fault.

[BibT_eX]

[DOI]

Proceedings of the Ninth IEEE International Conference on Software Testing, 2016

An Object-Oriented Analysis and Design Environment.

[BibT_eX]

[DOI]

David Kung

Proceedings of the 29th IEEE International Conference on Software Engineering Education and Training, 2016

Estimating t-Way Fault Profile Evolution During Testing.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015

Combinatorial Testing: Theory and Practice.

[BibT_eX]

[DOI]

Renée C. Bryce

Feng Duan

Adv. Comput., 2015

Implementing and Managing Policy Rules in Attribute Based Access Control.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE International Conference on Information Reuse and Integration, 2015

Constraint handling in combinatorial test generation using forbidden tuples.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

A Lightweight, Static Approach to Detecting Unbounded Thread-Instantiation Loops.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Equivalence class verification and oracle-free testing using two-layer covering arrays.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

BEN: A combinatorial testing-based fault localization tool.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

Improving IPOG's vertical growth based on a graph coloring scheme.

[BibT_eX]

[DOI]

Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014

A distributed framework for demand-driven software vulnerability detection.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

A particle swarm optimization using local stochastic search and enhancing diversity for continuous optimization.

[BibT_eX]

[DOI]

Jianli Ding

Jin Liu

Kaushik Roy Chowdhury

Wensheng Zhang

Qiping Hu

Neurocomputing, 2014

An Embedded Co-AdaBoost based construction of software document relation coupled resource spaces for cyber-physical society.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2014

Scalable and efficient workload hotspot detection in virtualized environment.

[BibT_eX]

[DOI]

Clust. Comput., 2014

Effective and scalable uncertainty evaluation for large-scale complex system applications.

[BibT_eX]

[DOI]

Proceedings of the 2014 Winter Simulation Conference, 2014

Estimating Fault Detection Effectiveness.

[BibT_eX]

[DOI]

Rick Kuhn

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

An Empirical Comparison of Combinatorial and Random Testing.

[BibT_eX]

[DOI]

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Combinatorial Test Generation for Software Product Lines Using Minimum Invalid Tuples.

[BibT_eX]

[DOI]

Proceedings of the 15th International IEEE Symposium on High-Assurance Systems Engineering, 2014

2013

Social trust prediction using heterogeneous networks.

[BibT_eX]

[DOI]

ACM Trans. Knowl. Discov. Data, 2013

A general conformance testing framework for IEEE 11073 PHD's communication model.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on PErvasive Technologies Related to Assistive Environments, 2013

A Dynamic Approach to Isolating Erroneous Event Patterns in Concurrent Program Executions.

[BibT_eX]

[DOI]

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

A Modular Approach to Model-Based Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2013

Fault localization based on failure-inducing combinations.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Social Trust Prediction Using Rank-k Matrix Recovery.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2013, 2013

ACTS: A Combinatorial Test Generation Tool.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

An Efficient Algorithm for Constraint Handling in Combinatorial Test Generation.

[BibT_eX]

[DOI]

Linbin Yu

Mehra Nouroz Borazjany

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Identifying Failure-Inducing Combinations Using Tuple Relationship.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Combinatorial Coverage Measurement Concepts and Applications.

[BibT_eX]

[DOI]

Itzel Dominguez Mendoza

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Applying Combinatorial Testing to the Siemens Suite.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

An Input Space Modeling Methodology for Combinatorial Testing.

[BibT_eX]

[DOI]

Mehra N. Borazjany

Rick Kuhn

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

CCM: A Tool for Measuring Combinatorial Coverage of System State Space.

[BibT_eX]

[DOI]

Itzel Dominguez Mendoza

Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013

2012

SimFuzz: Test case similarity directed deep fuzzing.

[BibT_eX]

[DOI]

J. Syst. Softw., 2012

An Embedded Co-AdaBoost and Its Application in Classification of Software Document Relation.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Semantics, Knowledge and Grids, 2012

Improved Delta Debugging Based on Combinatorial Testing.

[BibT_eX]

[DOI]

Jie Li

Changhai Nie

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Isolating Failure-Inducing Combinations in Combinatorial Testing Using Test Augmentation and Classification.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Combinatorial Methods for Event Sequence Testing.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Identifying Failure-Inducing Combinations in a Combinatorial Test Set.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Combinatorial Testing of ACTS: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Efficient Algorithms for T-way Test Sequence Generation.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

A multi-objective scheduling strategy based on MOGA in cloud computing environment.

[BibT_eX]

[DOI]

Proceedings of the 2nd IEEE International Conference on Cloud Computing and Intelligence Systems, 2012

2011

A Survey of Binary Covering Arrays.

[BibT_eX]

[DOI]

Electron. J. Comb., 2011

A combinatorial approach to detecting buffer overflow vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE/IFIP International Conference on Dependable Systems and Networks, 2011

2010

A class library for implementing, testing, and debugging concurrent programs.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2010

Distributed reachability testing of concurrent programs.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2010

A Stateful Approach to Testing Monitors in Multithreaded Programs.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE High Assurance Systems Engineering Symposium, 2010

Detecting vulnerabilities in C programs using trace-based testing.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE/IFIP International Conference on Dependable Systems and Networks, 2010

2009

Combinatorial Software Testing.

[BibT_eX]

[DOI]

Computer, 2009

Abstraction of multiple executions of object-oriented programs.

[BibT_eX]

[DOI]

Chunying Zhao

Kang Zhang

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A combinatorial approach to building navigation graphs for dynamic web applications.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Software Maintenance (ICSM 2009), 2009

2008

IPOG/IPOG-D: efficient test generation for multi-way combinatorial testing.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2008

Practical Combinatorial Testing: Beyond Pairwise.

[BibT_eX]

[DOI]

Rick Kuhn

IT Prof., 2008

Reachability Graph-Based Test Sequence Generation for Concurrent Programs.

[BibT_eX]

[DOI]

W. Eric Wong

Int. J. Softw. Eng. Knowl. Eng., 2008

Towards an evaluation framework for assistive environments.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments, 2008

Reusing Existing Test Cases for Security Testing.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

An Interaction-Based Test Sequence Generation Approach for Testing Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

A combinatorial testing strategy for concurrent programs.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2007

IPOG: A General Strategy for T-Way Software Testing.

[BibT_eX]

[DOI]

Proceedings of the 14th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2007), 2007

2006

Reachability Testing of Concurrent Programs.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

A Blocking-based Approach to Protocol Validation.

[BibT_eX]

[DOI]

Qizhi Ye

David Chenho Kung

Comput. J., 2006

A State Exploration-Based Approach to Testing Java Monitors.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Software Reliability Engineering (ISSRE 2006), 2006

2005

A New Algorithm for Reachability Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Effective Generation of Test Sequences for Structural Testing of Concurrent Programs.

[BibT_eX]

[DOI]

W. Eric Wong

Xiao Ma

Proceedings of the 10th International Conference on Engineering of Complex Computer Systems (ICECCS 2005), 2005

An Approach to Unfolding Asynchronous Communication Protocols.

[BibT_eX]

[DOI]

S. Purushothaman Iyer

Proceedings of the FM 2005: Formal Methods, 2005

2004

A General Model for Reachability Testing of Concurrent Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2004

Reachability testing of monitor-based programs.

[BibT_eX]

Proceedings of the IASTED Conference on Software Engineering and Applications, 2004

Reachability Testing of Semaphore-Based Programs.

[BibT_eX]

[DOI]

Proceedings of the 28th International Computer Software and Applications Conference (COMPSAC 2004), 2004

2002

A Test Generation Strategy for Pairwise Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

Blocking-based Simultaneous Reachability Analysis of Asynchronous Message-passing Programs.

[BibT_eX]

[DOI]

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Efficient Reachability Testing of Asynchronous Message-Passing Programs.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (ICECCS 2002), 2002

1998

In-Parameter-Order: A Test Generation Strategy for Pairwise Testing.

[BibT_eX]

[DOI]