Yvan Labiche

Marcela Genero

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

Getting more in less: The power of single/error annotations in category partition.

[BibT_eX]

[DOI]

Sunint Kaur Khalsa

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

An analysis and extension of Category partition testing for constrained systems.

[BibT_eX]

[DOI]

Sunint Kaur Khalsa

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

Modeling Traceability for Heterogeneous Systems.

[BibT_eX]

[DOI]

Nasser Mustafa

Proceedings of the ICSOFT-EA 2015, 2015

2014

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Editorial for the special issue of STVR on the 5th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2012).

[BibT_eX]

[DOI]

Antonia Bertolino

Softw. Test. Verification Reliab., 2014

A Comparative Study of Invariants Generated by Daikon and User-Defined Design Contracts.

[BibT_eX]

[DOI]

Farhana Rahman

Proceedings of the 2014 14th International Conference on Quality Software, 2014

Towards Automating Interface Control Documents Elaboration and Management.

[BibT_eX]

[DOI]

Hassna Louadah

Roger Champagne

Proceedings of the 7th International Workshop on Model-based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2014), 2014

An Orchestrated Survey of Available Algorithms and Tools for Combinatorial Testing.

[BibT_eX]

[DOI]

Sunint Kaur Khalsa

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

Multi-objective Construction of an Entire Adequate Test Suite for an EFSM.

[BibT_eX]

[DOI]

Nesa Asoudeh

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering, 2014

UML consistency rules: a systematic mapping study.

[BibT_eX]

[DOI]

Damiano Torre

Marcela Genero

Proceedings of the 18th International Conference on Evaluation and Assessment in Software Engineering, 2014

2013

Facilitating the transition from use case models to analysis models: Approach and experiments.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

A Multi-objective Genetic Algorithm to Rank State-Based Test Cases.

[BibT_eX]

[DOI]

Kathy Chen

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

A Multi-objective Genetic Algorithm for Generating Test Suites from Extended Finite State Machines.

[BibT_eX]

[DOI]

Nesa Asoudeh

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

Coverage-Based Test Case Prioritisation: An Industrial Case Study.

[BibT_eX]

[DOI]

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

Experimenting with Category Partition's 1-Way and 2-Way Test Selection Criteria.

[BibT_eX]

[DOI]

Faezeh Rafsanjani Sadeghi

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

Combining Static and Dynamic Analyses to Reverse-Engineer Scenario Diagrams.

[BibT_eX]

[DOI]

Bojana Kolbah

Hossein Mehrfard

Proceedings of the 2013 IEEE International Conference on Software Maintenance, 2013

2012

A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

On the Verification and Validation of Signature-Based, Network Intrusion Detection Systems.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

Model Interchange Testing: A Process and a Case Study.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing.

[BibT_eX]

[DOI]

Yanhua Liu

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

2011

Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments.

[BibT_eX]

[DOI]

Samar Mouchawrab

IEEE Trans. Software Eng., 2011

Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.

[BibT_eX]

[DOI]

Gregory Zoughbi

Softw. Syst. Model., 2011

A systematic review of transformation approaches between user requirements and analysis models.

[BibT_eX]

[DOI]

Requir. Eng., 2011

Automating image segmentation verification and validation by learning test oracles.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Diagram Definition: A Case Study with the UML Class Diagram.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

An Experimental Evaluation of the Impact of System Sequence Diagrams and System Operation Contracts on the Quality of the Domain Model.

[BibT_eX]

[DOI]

Reymes Madrazo-Rivera

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

Domain-Specific Model Verification with QVT.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

An analysis of signature overlaps in Intrusion Detection Systems.

[BibT_eX]

[DOI]

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

Integration testing object-oriented software systems: An experiment-driven research approach.

[BibT_eX]

[DOI]

Proceedings of the 24th Canadian Conference on Electrical and Computer Engineering, 2011

2010

Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms.

[BibT_eX]

[DOI]

Michael Bowman

IEEE Trans. Software Eng., 2010

Improving the coverage criteria of UML state machines using data flow analysis.

[BibT_eX]

[DOI]

Q. Lin

Softw. Test. Verification Reliab., 2010

Specification-Based Testing of Intrusion Detection Engines Using Logical Expression Testing Criteria.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Quality Software, 2010

On the Round Trip Path Testing Strategy.

[BibT_eX]

[DOI]

May Khalil

Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010

An Automated Approach to Transform Use Cases into Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

2009

A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2009

Automated traceability analysis for UML model refinements.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Automating regression test selection based on UML designs.

[BibT_eX]

[DOI]

S. He

Inf. Softw. Technol., 2009

Using machine learning to refine Category-Partition test specifications and test suites.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

2008

Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Using Machine Learning to Refine Black-Box Test Specifications and Test Suites.

[BibT_eX]

[DOI]

Zaheer Bawar

Proceedings of the Eighth International Conference on Quality Software, 2008

A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

The UML Is More Than Boxes and Lines.

[BibT_eX]

[DOI]

Proceedings of the Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28, 2008

Concurrent Contracts for Java in JML.

[BibT_eX]

[DOI]

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

Toward Automatic Generation of Intrusion Detection Verification Rules.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008

2007

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.

[BibT_eX]

[DOI]

Gregory Zoughbi

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Model-Driven, Network-Context Sensitive Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Using Machine Learning to Support Debugging with Tarantula.

[BibT_eX]

[DOI]

Xuetao Liu

Proceedings of the ISSRE 2007, 2007

Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment.

[BibT_eX]

[DOI]

Michael Bowman

Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007

Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment.

[BibT_eX]

[DOI]

Samar Mouchawrab

Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

2006

Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software.

[BibT_eX]

[DOI]

Johanne Leduc

IEEE Trans. Software Eng., 2006

The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Automated impact analysis of UML models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Using genetic algorithms for early schedulability analysis and stress testing in real-time systems.

[BibT_eX]

[DOI]

Genet. Program. Evolvable Mach., 2006

Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

A Metamodeling Approach to Pattern Specification.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Guiding the Application of Design Patterns Based on UML Models.

[BibT_eX]

[DOI]

Alexandre Sauve

Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Traffic-aware stress testing of distributed systems based on UML models.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Automated, contract-based user testing of commercial-off-the-shelf components.

[BibT_eX]

[DOI]

Michal M. Sówka

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Planning and Scheduling from a Class Test Order.

[BibT_eX]

[DOI]

Proceedings of the 30th Annual International Computer Software and Applications Conference, 2006

Automatic Evaluation of Intrusion Detection Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2005

An Experimental Investigation of Formality in UML-Based Development.

[BibT_eX]

[DOI]

Han (Daphne) Yan-Bondoc

IEEE Trans. Software Eng., 2005

Automated support for deriving test requirements from UML statecharts.

[BibT_eX]

[DOI]

Jim Cui

Softw. Syst. Model., 2005

A measurement framework for object-oriented software testability.

[BibT_eX]

[DOI]

Samar Mouchawrab

Inf. Softw. Technol., 2005

Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.

[BibT_eX]

[DOI]

Wojciech J. Dzidek

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Context-Based Intrusion Detection Using Snort, Nessus and Bugtraq Databases.

[BibT_eX]

[DOI]

Mathieu Couture

Proceedings of the Third Annual Conference on Privacy, 2005

Improving Statechart Testing Criteria Using Data Flow Information.

[BibT_eX]

[DOI]

Q. Lin

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

Tracing Distributed Systems Executions Using AspectJ.

[BibT_eX]

[DOI]

Johanne Leduc

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging.

[BibT_eX]

[DOI]

Wojciech J. Dzidek

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Is mutation an appropriate tool for testing experiments?

[BibT_eX]

[DOI]

James H. Andrews

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Stress testing real-time systems with genetic algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Control Flow Analysis of UML 2.0 Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2005

Incremental Class Testing from a Class Test Order.

[BibT_eX]

[DOI]

Proceedings of the 29th Annual International Computer Software and Applications Conference, 2005

2004

Assessing and Improving State-Based Class Testing: A Series of Experiments.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Empirical studies of software testing techniques: challenges, practical strategies, and future research.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2004

A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development.

[BibT_eX]

[DOI]

H.-D. Yan

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

An Investigation of Graph-Based Class Integration Test Order Strategies.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Investigating the use of analysis contracts to improve the testability of object-oriented code.

[BibT_eX]

[DOI]

Hong Sun

Softw. Pract. Exp., 2003

Towards the Reverse Engineering of UML Sequence Diagrams.

[BibT_eX]

[DOI]

Y. Miao

Proceedings of the 10th Working Conference on Reverse Engineering, 2003

Towards Automated Support for Deriving Test Data from UML Statecharts.

[BibT_eX]

[DOI]

Jim Cui

Proceedings of the «UML» 2003, 2003

A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Impact Analysis and Change Management of UML Models.

[BibT_eX]

[DOI]

Leeshawn O'Sullivan

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

2002

A UML-Based Approach to System Testing.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2002

Using genetic algorithms and coupling measures to devise optimal integration test orders.

[BibT_eX]

[DOI]

Jie Feng

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

Investigating the use of analysis contracts to support fault isolation in object oriented code.

[BibT_eX]

[DOI]

Hong Sun

Proceedings of the International Symposium on Software Testing and Analysis, 2002

A Case Study Using the Round-Trip Strategy for State-Based Class Testing.

[BibT_eX]

[DOI]

Giuliano Antoniol

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

Automating Impact Analysis and Regression Test Selection Based on UML Designs.

[BibT_eX]

[DOI]

G. Soccar

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001

Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles.

[BibT_eX]

[DOI]

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

2000

Testing levels for object-oriented software.

[BibT_eX]

[DOI]