| Constrained detecting arrays: Mathematical structures for fault identification in combinatorial interaction testing | 0 | 0.34 | 2023 |
| Reliability and Incentive of Performance Assessment for Decentralized Clouds | 0 | 0.34 | 2022 |
| Preemptive Anomaly Prediction in IoT Components (short paper). | 0 | 0.34 | 2021 |
| Graph queries for analyzing the coverage of requirements by test cases. | 0 | 0.34 | 2021 |
| Opinion Analysis and Organization of Mobile Application User Reviews. | 0 | 0.34 | 2020 |
| An Explainable Deep Learning Approach for Adaptation Space Reduction | 0 | 0.34 | 2020 |
| Constrained detecting arrays for fault localization in combinatorial testing | 0 | 0.34 | 2020 |
| Using simulated annealing for locating array construction | 0 | 0.34 | 2020 |
| Finding Minimum Locating Arrays Using a CSP Solver /> | 0 | 0.34 | 2020 |
| An Automated Goal Labeling Method Based on User Reviews. | 0 | 0.34 | 2020 |
| A Two-Step Heuristic Algorithm for Generating Constrained Detecting Arrays for Combinatorial Interaction Testing | 0 | 0.34 | 2020 |
| Interactive Goal Model Construction Based On A Flow Of Questions | 0 | 0.34 | 2020 |
| A Comparative Study on Combinatorial and Random Testing for Highly Configurable Systems. | 1 | 0.34 | 2020 |
| Model Checking Of Automotive Control Software: An Industrial Approach | 0 | 0.34 | 2020 |
| Goal Model Construction Based on User Review Classification. | 0 | 0.34 | 2019 |
| Expression caching for runtime verification based on parameterized probabilistic models. | 1 | 0.35 | 2019 |
| Satisfiability-Based Analysis of Cascading Failures in Systems of Interdependent Networks | 0 | 0.34 | 2019 |
| A Document-based Parameter Correlation Metric for Test Design (S). | 0 | 0.34 | 2018 |
| Improvement of User Review Classification Using Keyword Expansion (S). | 0 | 0.34 | 2018 |
| Deriving Fault Locating Test Cases from Constrained Covering Arrays | 1 | 0.36 | 2018 |
| A Framework for Updating Functionalities Based on the MAPE Loop Mechanism | 0 | 0.34 | 2018 |
| Applying Metamorphic Testing to e-Commerce Product Search Engines | 0 | 0.34 | 2018 |
| A Satisfiability-Based Approach to Generation of Constrained Locating Arrays | 1 | 0.34 | 2018 |
| Constrained locating arrays for combinatorial interaction testing | 4 | 0.68 | 2018 |
| Controlling Occurrence Frequencies Of Parameter Values In Pair-Wise Testing | 0 | 0.34 | 2018 |
| Data access control for energy-related services in smart public infrastructures. | 0 | 0.34 | 2017 |
| State space reduction techniques for model checking of MANET protocols. | 0 | 0.34 | 2017 |
| A visualization of specification coverage based on document similarity. | 2 | 0.42 | 2017 |
| Finding Minimum Locating Arrays Using a SAT Solver | 6 | 0.45 | 2017 |
| Visualization of Specification Coverage: A Case Study of a Web Application Development in Industry | 0 | 0.34 | 2017 |
| Constructing a Goal Model from Requirements Descriptions Based on Extraction Rules. | 0 | 0.34 | 2017 |
| Generating High Strength Test Suites for Combinatorial Interaction Testing Using ZDD-Based Graph Algorithms | 0 | 0.34 | 2017 |
| A Search-Based Constraint Elicitation In Test Design | 0 | 0.34 | 2016 |
| Caching Strategies for Run-time Probabilistic Model Checking. | 0 | 0.34 | 2016 |
| Model Checking Techniques for State Space Reduction in MANET Protocol Verification | 1 | 0.35 | 2016 |
| Towards Automatic Constraint Elicitation in Test Design: Preliminary Evaluation Based on Collective Intelligence. | 1 | 0.36 | 2015 |
| Towards Automatic Requirements Elicitation from Feedback Comments: Extracting Requirements Topics Using LDA. | 2 | 0.50 | 2015 |
| Towards Self-Adaptation on Real-World Hardware: A Preliminary Lightweight Programming Framework | 2 | 0.42 | 2015 |
| Locating a Faulty Interaction in Pair-wise Testing | 6 | 0.51 | 2014 |
| Voting Sharing: An Approach To Reducing Computation Time For Fault Diagnosis In Time-Triggered Systems | 0 | 0.34 | 2014 |
| Modeling the Interaction of Power Line and SCADA Networks | 1 | 0.39 | 2014 |
| Applying Random Testing to Constrained Interaction Testing. | 0 | 0.34 | 2014 |
| Applying Parameter Value Weighting to a Practical Application | 0 | 0.34 | 2014 |
| A Value Weighting Method for Pair-wise Testing. | 4 | 0.66 | 2013 |
| Software reconstruction and module management for distributed processing of train control. | 0 | 0.34 | 2013 |
| A BDD-Based Approach to Reliability Optimal Module Allocation in Networks | 0 | 0.34 | 2012 |
| Using Satisfiability Solving For Pairwise Testing In The Presence Of Constraints | 8 | 0.57 | 2012 |
| Achieving High Availability of Consistent Data in the Presence of Network Partitions | 0 | 0.34 | 2012 |
| Gossiping with Network Coding | 1 | 0.37 | 2011 |
| Constructing Test Sets for Pairwise Testing: A SAT-Based Approach | 1 | 0.35 | 2011 |
