Publications

In press

Full Text
See detailAutomatically Repairing Web Application Firewalls Based on Successful SQL Injection Attacks
Appelt, Dennis; Panichella, Annibale; Briand, Lionel

in The 28th IEEE International Symposium on Software Reliability Engineering (ISSRE) (in press)

Full Text
See detailOn the Risk of Tool Over-tuning in Runtime Verification Competitions
Bianculli, Domenico; Krstic, Srdan

in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (in press)

Full Text
See detailTemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (in press)

Full Text
See detailComparing automated visual GUI testing tools: an industrial case study
Garousi, Vahid; Afzal, Wasif; Çağlar, Adem; Işık, İhsan Berk; Baydan, Berker; Çaylak, Seçkin; Boyraz, Ahmet Zeki; Yolaçan, Burak; Herkiloğlu, Kadir

in Proceedings of International Workshop on Automated Software Testing (A-TEST) (in press)

Full Text
See detailWhat we know about testing embedded software
Garousi, Vahid; Felderer, Michael; Karapıçak, Çağrı Murat; Yılmaz, Uğur

in IEEE Software (in press)

Full Text
See detailIntroducing automated GUI testing and observing its benefits: an industrial case study in the context of law-practice management software
Garousi, Vahid; Yıldırım, Erdem

in Proceedings of ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) (in press)

Full Text
See detailConfiguring use case models in product families
Hajri, Ines; Göknil, Arda; Briand, Lionel; Stephany, Thierry

in Software & Systems Modeling (in press)

Full Text
See detailMulti-objective regression test selection in practice: an empirical study in the defense software industry
Özkan, Ramazan; Garousi, Vahid; Betin-Can, Aysu

in Proceedings of ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM) (in press)

Full Text
See detailThe Scent of a Smell: An Extensive Comparison between Textual and Structural Smells
Palomba, Fabio; Panichella, Annibale; Zaidman, Andy; Oliveto, Rocco; De Lucia, Andrea

in IEEE Transactions on Software Engineering (in press)

Full Text
See detailAutomated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets
Panichella, Annibale; Kifetew, Fitsum; Tonella, Paolo

in IEEE Transactions on Software Engineering (in press)

Full Text
See detailModel-Based Simulation of Legal Policies: Framework, Tool Support, and Validation
Soltana, Ghanem; Sannier, Nicolas; Sabetzadeh, Mehrdad; Briand, Lionel

in Software & Systems Modeling (in press)

Full Text
See detailSecurity Slicing for Auditing Common Injection Vulnerabilities
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in Journal of Systems and Software (in press)

Top of Page

2017

Full Text
See detailCross-factor analysis of software modeling practices versus practitioner demographics in the embedded software industry
Akdur, Deniz; Garousi, Vahid; Demirörs, Onur

in 6th Mediterranean Conference on Embedded Computing (MECO) (2017)

Full Text
See detailAn Industrial Evaluation of Unit Test Generation: Finding Real Faults in a Financial Application
Almasi, Moein; Hemmati, Hadi; Fraser, Gordon; Arcuri, Andrea; Benefelds, Janis

in ACM/IEEE International Conference on Software Engineering (ICSE) (2017)

Full Text
See detailMany Independent Objective (MIO) Algorithm for Test Suite Generation
Arcuri, Andrea

in Symposium on Search-Based Software Engineering (SSBSE) (2017)

Full Text
See detailRESTful API Automated Test Case Generation
Arcuri, Andrea

in IEEE International Conference on Software Quality, Reliability & Security (QRS) (2017)

Full Text
See detailPrivate API Access and Functional Mocking in Automated Unit Test Generation
Arcuri, Andrea; Fraser, Gordon; Just, Rene

in IEEE International Conference on Software Testing, Verification and Validation (ICST) (2017)

Full Text
See detailAutomated Extraction and Clustering of Requirements Glossary Terms
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in IEEE Transactions on Software Engineering (2017), 43(10), 918-945

Full Text
See detailAutomated extraction of product comparison matrices from informal product descriptions
Ben Nasr, Sana; Bécan, Guillaume; Acher, Mathieu; Ferreira Filho, Joao Bosco; Sannier, Nicolas; Baudry, Benoit; Davril, Jean-Marc

in Journal of Systems and Software (2017), 124

Full Text
See detailThe Case for Context-Driven Software Engineering Research
Briand, Lionel; Bianculli, Domenico; Nejati, Shiva; Pastore, Fabrizio; Sabetzadeh, Mehrdad

in IEEE Software (2017), 34(5), 72-75

Full Text
See detailAn Empirical Evaluation of Evolutionary Algorithms for Test Suite Generation
Campos, Jose; Ge, Yan; Fraser, Gordon; Eler, Marcello; Arcuri, Andrea

in Symposium on Search-Based Software Engineering (SSBSE) (2017)

Full Text
See detailAugmenting Field Data for Testing Systems Subject to Incremental Requirements Changes
Di Nardo, Daniel; Pastore, Fabrizio; Briand, Lionel

in ACM Transactions on Software Engineering & Methodology (2017), 26(1), 1-40

Full Text
See detailPETrA: a software-based tool for estimating the energy profile of Android applications
Di Nucci, Dario; Palomba, Fabio; Prota, Antonio; Panichella, Annibale; Zaidman, Andy; De Lucia, Andrea

in 39th International Conference on Software Engineering (ICSE) 2017 (2017, May 24)

Full Text
See detailSoftware-Based Energy Profiling of Android Apps: Simple, Efficient and Reliable?
Di Nucci, Dario; Palomba, Fabio; Prota, Antonio; Panichella, Annibale; Zaidman, Andy; De Lucia, Andrea

in Proceedings of the 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017, February 21)

Full Text
See detailA Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 ) (2017, September)

Full Text
See detailA Tool for Automated Reasoning about Traces Based on Configurable Formal Semantics
Erata, Ferhat; Göknil, Arda; Tekinerdogan, Bedir; Kardas, Geylani

in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2017)) (2017)

Full Text
See detailEVOSUITE at the SBST 2017 Tool Competition
Fraser, Gordon; Rojas, José Miguel; Campos, José; Arcuri, Andrea

in IEEE/ACM International Workshop on Search-Based Software Testing (SBST) (2017)

Full Text
See detailExperience-based guidelines for effective and efficient data extraction in systematic reviews in software engineering
Garousi, Vahid; Felderer, Michael

in Proceedings of International Conference on Evaluation and Assessment in Software Engineering (EASE) (2017, June)

Full Text
See detailIndustry-academia collaborations in software engineering: an empirical analysis of challenges, patterns and anti-patterns in research projects
Garousi, Vahid; Felderer, Michael; Fernandes, João; Pfahl, Dietmar; Mäntylä, Mika

in Proceedings of International Conference on Evaluation and Assessment in Software Engineering (EASE) (2017, June 15)

Full Text
See detailWhat industry wants from academia in software testing? Hearing practitioners’ opinions
Garousi, Vahid; Felderer, Michael; Kuhrmann, Marco; Herkiloğlu, Kadir

in Proceedings of International Conference on Evaluation and Assessment in Software Engineering (EASE) (2017, June 15)

Full Text
See detailA Change Management Approach in Product Lines for Use Case-Driven Development and Testing
Hajri, Ines; Göknil, Arda; Briand, Lionel

Poster (2017, March)

Full Text
See detailIncremental Reconfiguration of Product Specific Use Case Models for Evolving Configuration Decisions
Hajri, Ines; Göknil, Arda; Briand, Lionel; Stephany, Thierry

in 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017) (2017, March)

Full Text
See detailGenerating Unit Tests with Structured System Interactions
Havrikov, Nikolas; Gambi, Alessio; Zeller, Andreas; Arcuri, Andrea; Galeotti, Juan Pablo

in IEEE/ACM International Workshop on Automation of Software Test (AST) (2017)

Full Text
See detailA Search-based Testing Approach for XML Injection Vulnerabilities in Web Applications
Jan, Sadeeq; Nguyen, Duy Cu; Andrea, Arcuri; Briand, Lionel

in 10th IEEE International Conference on Software Testing, Verification and validation (ICST 2017), Tokyo 13-18 March 2017 (2017)

Full Text
See detailProceedings of International Conference on Software and Systems Process (ICSSP)
Kuhrmann, Marco; Diebold, Philipp; Münch, Jürgen; Tell, Paolo; Garousi, Vahid; Felderer, Michael; Trektere, Kitija; McCaffery, Fergal; Linssen, Oliver; Hanser, Eckhart; Christian, Prause

in Hybrid software and system development in practice: Waterfall, scrum, and beyond (2017, July)

Full Text
See detailImproving Fault Localization for Simulink Models using Search-Based Testing and Prediction Models
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel

in 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017)

Full Text
See detailModeling Security and Privacy Requirements for Mobile Applications: a Use Case-driven Approach
Mai, Xuan Phu; Göknil, Arda; Shar, Lwin Khin; Briand, Lionel

Report (2017)

Full Text
See detailAutomated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel

in Proceedings of 11TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2017) (2017)

Full Text
See detailLightweight Detection of Android-specific Code Smells: the aDoctor Project
Palomba, Fabio; Di Nucci, Dario; Panichella, Annibale; Zaidman, Andy; De Lucia, Andre

in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, February 21)

Full Text
See detailLIPS vs MOSA: a Replicated Em- pirical Study on Automated Test Case Generation
Panichella, Annibale; Kifetew, Fitsum; Tonella, Paolo

in International Symposium on Search Based Software Engineering (SSBSE) 2017 (2017, September 09)

Full Text
See detailJava Unit Testing Tool Competition — Fifth Round
Panichella, Annibale; Urko, Rueda

in 10th International Workshop on Search- Based Software Testing (SBST) 2017 (2017, May 22)

Full Text
See detailChoosing the Right Test Automation Tool: a Grey Literature Review of Practitioner Sources
Raulamo-Jurvanen, Päivi; Mäntylä, Mika; Garousi, Vahid

in Choosing the Right Test Automation Tool: a Grey Literature Review of Practitioner Sources (2017, June 15)

Full Text
See detailAn Automated Framework for Detection and Resolution of Cross References in Legal Texts
Sannier, Nicolas; Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in Requirements Engineering (2017), 22(2), 215-237

Full Text
See detailLegal Markup Generation in the Large: An Experience Report
Sannier, Nicolas; Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in the 25th International Requirements Engineering Conference (RE'17), Lisbon, 4-8 September 2017 (2017, September)

Full Text
See detailSpecification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract)
Shin, Seung Yeob

in Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017) (2017, September 10)

Full Text
See detailDiscrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling
Shin, Seung Yeob; Brun, Yuriy; Balasubramanian, Hari; Henneman, Philip L.; Osterweil, Leon J.

in IEEE Transactions on Systems, Man, and Cybernetics: Systems (2017)

Full Text
See detailSynthetic Data Generation for Statistical Testing
Soltana, Ghanem; Sabetzadeh, Mehrdad; Briand, Lionel

in 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017) (2017)

Full Text
See detailA Guided Genetic Algorithm for Automated Crash Reproduction
Soltani, Mozhan; Panichella, Annibale; van Deursen, Arie

in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, May)

Full Text
See detailJoanAudit: A Tool for Auditing Common Injection Vulnerabilities
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2017, September)

Full Text
See detailSearch-driven String Constraint Solving for Vulnerability Detection
Thome, Julian; Shar, Lwin Khin; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, May)

Full Text
See detailSystem Testing of Timing Requirements based on Use Cases and Timed Automata
Wang, Chunhui; Pastore, Fabrizio; Briand, Lionel

in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo 13-18 March 2017 (2017, March 13)

Full Text
See detailSpeeding-Up Mutation Testing via Data Compression and State Infection
Zhu, Qianqian; Panichella, Annibale; Zaidman, Andy

in IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017 (2017, March 13)

Top of Page

2016

Full Text
See detailAutomated Testing of Web Application Firewalls
Appelt, Dennis; Nguyen, Duy Cu; Briand, Lionel

Report (2016)

Full Text
See detailJava Enterprise Edition Support in Search-Based JUnit Test Generation
Arcuri, Andrea; Fraser, Gordon

in Java Enterprise Edition Support in Search-Based JUnit Test Generation (2016)

Full Text
See detailUnit Test Generation During Software Development: EvoSuite Plugins for Maven, IntelliJ and Jenkins
Arcuri, Andrea; Jose, Campos; Gordon, Fraser

in IEEE International Conference on Software Testing, Verification and Validation (ICST) (2016)

Full Text
See detailExtracting Domain Models from Natural-Language Requirements: Approach and Industrial Evaluation
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo 2-7 October 2016 (2016, October)

Full Text
See detailTesting Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks
Ben Abdessalem (helali), Raja; Nejati, Shiva; Briand, Lionel; Stifter, Thomas

in International Conference on Automated Software Engineering (ASE 2016) (2016)

Full Text
See detailGemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

Report (2016)

Full Text
See detailGemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

in 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016) (2016, June)

Full Text
See detailA model-driven approach to representing and checking RBAC contextual policies.
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel; Hourte, Benjamin

in Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016) (2016, March)

Full Text
See detailEfficient Large-scale Trace Checking Using MapReduce
Bersani, Marcello Maria; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; San Pietro, Pierluigi

in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) (2016, May)

Full Text
See detailTesting the Untestable: Model Testing of Complex Software-Intensive Systems
Briand, Lionel; Nejati, Shiva; Sabetzadeh, Mehrdad; Bianculli, Domenico

in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)

Full Text
See detailSOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities
Ceccato, Mariano; Nguyen, Duy Cu; Appelt, Dennis; Briand, Lionel

in Proceedings of the 31th IEEE/ACM International Conference on Automated Software Engineering (2016)

Full Text
See detailA Rule-based Approach for Evolution of AADL Models based on Changes in Functional Requirements
Göknil, Arda; Kurtev, Ivan; van den Berg, Klaas

in The workshop on Sustainable Architecture: Global Collaboration, Requirements, Analysis (SAGRA) at the 10th European Conference on Software Architecture (ECSA) (2016, November)

Full Text
See detailEvoSuite at the SBST 2016 Tool Competition
Gordon, Fraser; Arcuri, Andrea

in The 9th International Workshop on SEARCH-BASED SOFTWARE TESTING (SBST) (2016)

Full Text
See detailSupporting Change in Product Lines within the Context of Use Case-Driven Development and Testing
Hajri, Ines

in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (DS@FSE 2016) (2016, November)

Full Text
See detailPUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line
Hajri, Ines; Göknil, Arda; Briand, Lionel; Stephany, Thierry

in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (2016, November)

See detailAutomated and Effective Testing of Web Services for XML Injection Attacks
Jan, Sadeeq; Nguyen, Duy Cu; Briand, Lionel

in ISSTA'16-The International Symposium on Software Testing and Analysis, Saarbrücken 18-20 July 2016 (2016, July 18)

Full Text
See detailLocalizing Multiple Faults in Simulink Models.
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016)

Full Text
See detailSimulink Fault Localisation: an Iterative Statistical Debugging Approach
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in Software Testing, Verification & Reliability (2016), 26(6), 431-459

Full Text
See detailSimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckamnn, Thomas

in Proceedings of the 38th International Conference on Software Engineering (2016)

Full Text
See detailAutomated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, thomas

in proceedings of the 38th International Conference on Software Engineering (2016)

Full Text
See detailAutomated Change Impact Analysis between SysML Models of Requirements and Design
Nejati, Shiva; Sabetzadeh, Mehrdad; Arora, Chetan; Briand, Lionel; Mandoux, Felix

in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Seattle 13-18 November 2016 (2016)

Full Text
See detailClustering Deviations for Black Box Regression Testing of Database Applications
Rogstad, Erik; Briand, Lionel

in IEEE Transactions on Reliability (2016), 65(1), 4-18

Full Text
See detailCost-effective Strategies for the Regression Testing of Database Applications: Case study and Lessons Learned
Rogstad, Erik; Briand, Lionel

in Journal of Systems and Software (2016), 113

Full Text
See detailSeeding Strategies in Search-Based Unit Test Generation
Rojas, Jose Miguel; Fraser, Gordon; Arcuri, Andrea

in SOFTWARE TESTING, VERIFICATION AND RELIABILITY (STVR) (2016)

Full Text
See detailA Detailed Investigation of the Effectiveness of Whole Test Suite Generation
Rojas, José Miguel; Vivanti, Mattia; Arcuri, Andrea; Fraser, Gordon

in Empirical Software Engineering (2016)

Full Text
See detailAutomated Classification of Legal Cross References Based on Semantic Intent
Sannier, Nicolas; Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'16) (2016, March)

Full Text
See detailModel-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation
Soltana, Ghanem; Sabetzadeh, Mehrdad; Briand, Lionel

in 24th IEEE International Requirements Engineering Conference, Beijing 12-16 September 2016 (2016)

Top of Page

2015

Full Text
See detailImproving the Performance of OCL Constraint Solving with Novel Heuristics for Logical Operations: A SearchBased Approach
Ali, Shaukat; Iqbal, Zohaib; Khalid, Maham; Arcuri, Andrea

in Empirical Software Engineering (2015)

Full Text
See detailBehind an Application Firewall, Are We Safe from SQL Injection Attacks?
Appelt, Dennis; Nguyen, Duy Cu; Briand, Lionel

in 2015 IEEE 8th International Conference on Software Testing, Verification, and Validation (ICST) (2015)

Full Text
See detailGenerating TCP/UDP Network Data for Automated Unit Test Generation
Arcuri, Andrea; Fraser, Gordon; Galeotti, Juan Pablo

in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE) (2015)

Full Text
See detailAutomated Checking of Conformance to Requirements Templates using Natural Language Processing
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in IEEE Transactions on Software Engineering (2015), 41(10), 944-968

Full Text
See detailChange Impact Analysis for Natural Language Requirements: An NLP Approach
Arora, Chetan; Sabetzadeh, Mehrdad; Göknil, Arda; Briand, Lionel; Zimmer, Frank

in 23rd IEEE International Requirements Engineering Conference, Ottawa 24-28 August 2015 (2015, August)

Full Text
See detailNARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements
Arora, Chetan; Sabetzadeh, Mehrdad; Göknil, Arda; Briand, Lionel; Zimmer, Frank

in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)

Full Text
See detailAssessing IT Security Standards Against the Upcoming GDPR for Cloud Systems
Bartolini, Cesare; Gheorghe, Gabriela; Giurgiu, Andra; Sabetzadeh, Mehrdad; Sannier, Nicolas

Poster (2015, March 11)

Full Text
See detailA Comprehensive Modeling Framework for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

in Journal of Systems and Software (2015), 107(September,2015), 110126

Full Text
See detailMatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix
Ben Nasr, Sana; Becan, Guillaume; Acher, Mathieu; Ferreira Filho, Joao Bosco; Baudry, Benoit; Sannier, Nicolas; Davril, Jean-Marc

in 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015), Bergamo, Italy, August 30 - September 4, 2015 (2015, September)

Full Text
See detailSyntactic-Semantic Incrementality for Agile Verification
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino

in Science of Computer Programming (2015), 97(0), 47-54

Full Text
See detailSyntax-driven program verification of matching logic properties.
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino; Rizzi, Alessandro Maria

in Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015) (2015, May)

Full Text
See detailContinuous Test Generation on Guava
Campos, Jose; Fraser, Gordon; Arcuri, Andrea; Rui, Abreu

in Symposium on Search-Based Software Engineering (SSBSE) (2015)

Full Text
See detailDo Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency
Ceccato, Mariano; Marchetto, Alessandro; Mariani, Leonardo; Nguyen, Duy Cu; Tonella, Paolo

in The ACM Transactions on Software Engineering and Methodology (TOSEM) (2015), 25(1), 51--538

Full Text
See detailCombining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines
DI ALESIO, Stefano; Briand, Lionel; Nejati, Shiva; GOTLIEB, ARNAUD

in ACM Transactions on Software Engineering & Methodology (2015), 25(1),

Full Text
See detailCoverage-based regression test case selection, minimization and prioritization: a case study on an industrial system
Di Nardo, Daniel; Alshahwan, Nadia; Briand, Lionel; Labiche, Yvan

in Software Testing, Verification & Reliability (2015), 25(4), 371-396

Full Text
See detailEvolutionary Robustness Testing of Data Processing Systems using Models and Data Mutation
Di Nardo, Daniel; Pastore, Fabrizio; Arcuri, Andrea; Briand, Lionel

in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (2015, November)

Full Text
See detailGenerating Complex and Faulty Test Data Through Model-Based Mutation Analysis
Di Nardo, Daniel; Pastore, Fabrizio; Briand, Lionel

in Software Testing, Verification and Validation (ICST), 2015 IEEE Eighth International Conference on (2015, April)

Full Text
See detailMining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths
DING, SUN; TAN, HEE BENG KUAN; Shar, Lwin Khin

in Automation of Software Test (AST 2015) (2015, May)

Full Text
See detailEvoSuite at the SBST 2015 Tool Competition
Fraser, Gordon; Arcuri, Andrea

in 8th International Workshop on Search-Based Software Testing (SBST) 2015 (2015)

Full Text
See detailApplying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach
Hajri, Ines; Göknil, Arda; Briand, Lionel; Stephany, Thierry

in 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), September 30 - October 2, 2015, Ottawa, ON, Canada (2015, October 03)

Full Text
See detailKnown XML Vulnerabilities Are Still a Threat to Popular Parsers and Open Source Systems
Jan, Sadeeq; Nguyen, Duy Cu; Briand, Lionel

in The 2015 IEEE International Conference on Software Quality, Reliability & Security, Vancouver 3-5 August 2015 (2015, August 03)

Full Text
See detailAutomated Inference of Access Control Policies for Web Applications
LE, Ha-Thanh; Nguyen, Duy Cu; Briand, Lionel; Hourte, Benjamin

in 20th ACM Symposium on Access Control Models and Technologies (SACMAT), 1-3 June 2015 (2015, June)

Full Text
See detailSimulink Fault Localization: an Iterative Statistical Debugging Approach
Liu, Bing; Lucia, Lucia; Nejati, Shiva; Briand, Lionel

Report (2015)

Full Text
See detailAutomated Test Suite Generation for Time-Continuous Simulink Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel

Report (2015)

Full Text
See detailEffective Test Suites for Mixed Discrete-Continuous Stateflow Controllers
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2015)

Full Text
See detailSearch-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas; Poull, Claude

in Information and Software Technology (2015), 57

Full Text
See detailEvidence management for compliance of critical systems with safety standards: A survey on the state of practice
Nair, Sunil; de la Vara, Jose Luis; Sabetzadeh, Mehrdad; Falessi,

in Information & Software Technology (2015), 60

Full Text
See detailZoomIn: Discovering Failures by Detecting Wrong Assertions
Pastore, Fabrizio; Mariani, Leonardo

in Proceedings of the 37th International Conference on Software Engineering (ICSE) (2015, May)

Full Text
See detailAutomated Unit Test Generation during Software Development: A Controlled Experiment and Think-Aloud Observations
Rojas, José Miguel; Fraser, Gordon; Arcuri, Andrea

in ACM International Symposium on Software Testing and Analysis (ISSTA), 2015 (2015)

Full Text
See detailCombining Multiple Coverage Criteria in Search-Based Unit Test Generation
Rojas, Miguel; Campos, Jose; Vivanti, Mattia; Fraser, Gordon; Arcuri, Andrea

in Symposium on Search-Based Software Engineering (SSBSE) (2015)

Full Text
See detailDo Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges
Shamshiri, Sina; Just, Rene; Rojas, Jose Miguel; Fraser, Gordon; McMinn, Phil; Arcuri, Andrea

in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (ASE) (2015)

Full Text
See detailWeb Application Vulnerability Prediction using Hybrid Program Analysis and Machine Learning
Shar, Lwin Khin; Briand, Lionel; Tan, Hee Beng Kuan

in IEEE Transactions on Dependable and Secure Computing (2015), 12(6), 688-707

Full Text
See detailA Model-Based Framework for Legal Policy Simulation and Legal Compliance Checking
Soltana, Ghanem

in Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015) (2015)

Full Text
See detailA Model-Based Framework for Probabilistic Simulation of Legal Policies
Soltana, Ghanem; Sannier, Nicolas; Sabetzadeh, Mehrdad; Briand, Lionel

in 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15) (2015)

Full Text
See detailA Scalable and Accurate Hybrid Vulnerability Analysis Framework
Thome, Julian

in Doctoral Symposium co-located with 26th IEEE International Symposium on Software Reliability Engineering (2015) (2015)

Full Text
See detailSecurity Slicing for Auditing XML, XPath, and SQL Injection Vulnerabilities
Thome, Julian; Shar, Lwin Khin; Briand, Lionel

in 26th IEEE International Symposium on Software Reliability Engineering (2015)

Full Text
See detailAutomatic Generation of System Test Cases from Use Case Specifications
Wang, Chunhui; Pastore, Fabrizio; Göknil, Arda; Briand, Lionel; Iqbal, Zohaib

in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA' 15), July 2015, USA (2015, July)

Full Text
See detailUMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications
Wang, Chunhui; Pastore, Fabrizio; Göknil, Arda; Briand, Lionel; Iqbal, Zohaib

in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)

Full Text
See detailaToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models
Yue, Tao; Briand, Lionel; Labiche, Yvan

in ACM Transactions on Software Engineering & Methodology (2015), 24(3),

Top of Page

2014

Full Text
See detailAutomated Detection and Resolution of Legal Cross References: Approach and a Study of Luxembourg's Legislation
Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in 22nd IEEE International Requirements Engineering Conference (2014, August 25)

Full Text
See detailBlack-box SQL Injection Testing
Appelt, Dennis; Alshahwan, Nadia; Nguyen, Duy Cu; Briand, Lionel

Report (2014)

Full Text
See detailAutomated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach
Appelt, Dennis; Nguyen, Duy Cu; Briand, Lionel; Alshahwan, Nadia

in Proc. of the International Symposium on Software Testing and Analysis 2014 (2014, July 21)

Full Text
See detailOn the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object- Oriented Software
Araujo, Wladimir; Briand, Lionel; Labiche, Yvan

in IEEE Transactions on Software Engineering (2014), 40(10), 971-992

Full Text
See detailEmpirical Comparison of Intermediate Representations for Android Applications
Arnatovich, Yauhen Leanidavich; Tan, Hee Beng Kuan; Shar, Lwin Khin

in 26th International Conference on Software Engineering and Knowledge Engineering (2014, July 03)

Full Text
See detailImproving Requirements Glossary Construction via Clustering: Approach and Industrial Case Studies
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2014) (2014, September)

Full Text
See detailRequirement Boilerplates: Transition From Manually-Enforced to Automatically-Verifiable Natural Language Patterns
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank

in Requirements Patterns (RePa), 2014 IEEE 4th International Workshop on (2014, August)

Full Text
See detailArchitecture-Level Configuration of Large-Scale Embedded Software Systems
Behjati, Razieh; Nejati, Shiva; Briand, Lionel

in ACM Transactions on Software Engineering & Methodology (2014), 23(3),

Full Text
See detailA Comprehensive Modeling Framework for Role-based Access Control Policies
Ben Fadhel, Ameni; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailTowards the formalization of properties of cloud-based elastic systems
Bersani, Marcello Maria; Bianculli, Domenico; Dustdar, Schahram; Gambi, Alessio; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014) (2014)

Full Text
See detailSMT-based Checking of SOLOIST over Sparse Traces
Bersani, Marcello Maria; Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan; San Pietro, Pierluigi

in Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014) (2014)

Full Text
See detailIncremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino

in Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2014) (2014, October)

Full Text
See detailTrace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce
Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan

in Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) (2014, September)

Full Text
See detailOffline Trace Checking of Quantitative Properties of Service-Based Applications
Bianculli, Domenico; Ghezzi, Carlo; Krstić, Srđan; San Pietro, Pierluigi

in Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014) (2014, November)

Full Text
See detailSpecification Patterns from Research to Industry: A Case Study in Service-Based Applications (extended abstract)
Bianculli, Domenico; Ghezzi, Carlo; Pautasso, Cesare; Senti, Patrick

in Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik (2014, February)

Full Text
See detailFostering Analysis from Industrial Embedded Systems Modeling
Bourdelles, Michel; Li, Shuai; Quadri, Imran; Brosse, Etienne; Sadovykh, Andrey; Gaudin, Emmanuel; Mallet, Frederic; Göknil, Arda; George, David; Kreku, Jari

in Handbook of Research on Embedded Systems Design (2014)

Full Text
See detailTraceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment
Briand, Lionel; Falessi, Davide; Nejati, Shiva; Sabetzadeh, Mehrdad; Yue, Tao

in ACM Transactions on Software Engineering & Methodology (2014), 23(1),

Full Text
See detailWorst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing
Di Alesio, Stefano; Nejati, Shiva; Briand, Lionel; Gotlieb, Arnaud

in International Conference on Principles and Practice of Constraint Programming (2014, September)

Full Text
See detailA Model-Driven Approach to Offline Trace Checking of Temporal Properties with OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

Report (2014)

Full Text
See detailOCLR: a More Expressive, Pattern-based Temporal Extension of OCL
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014) (2014, July)

Full Text
See detailRevisiting Model-driven Engineering for Run-time Verification of Business Processes
Dou, Wei; Bianculli, Domenico; Briand, Lionel

in Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014) (2014, September)

Full Text
See detailChange Impact Analysis for Requirements: a Metamodeling Approach
Göknil, Arda; Kurtev, Ivan; van den Berg, Klaas; Sipijkerman, Wietze

in Information & Software Technology (2014), 56(8), 950-972

Full Text
See detailExperimental Evaluation of a Tool for Change Impact Prediction in Requirements Models: Design, Results, and Lessons Learned
Göknil, Arda; van Domburg, Roderick; Kurtev, Ivan; van den Berg, Klaas; Wijnhoven, Fons

in The Fourth International Model-Driven Requirements Engineering (MoDRE) workshop (2014)

Full Text
See detailEmpirical Evaluations on the Cost-Effectiveness of State-Based Testing: An Industrial Case Study
Holt, Nina; Briand, Lionel; Torkar, Richard

in Information & Software Technology (2014), 56(8), 890910

Full Text
See detailAre Concurrency Coverage Metrics Effective for Testing: A Comprehensive Empirical Investigation
Hong, Shin; Staats, Matthew; Ahn, Jaemin; Kim, Moonzoo; Rothermel, Gregg

in Software Testing, Verification & Reliability (2014)

Full Text
See detailApplying UML/MARTE on industrial projects: challenges, experiences, and guidelines
Iqbal, Zohaib; Ali, Shaukat; Yue, Tao; Briand, Lionel

in Software & Systems Modeling (2014)

Full Text
See detailDodona: Automated Oracle Data Set Selection
Loyola, Pablo; Staats, Matthew; Ko, In-Young; Rothermel, Gregg

in International Symposium on Software Testing and Analysis 2014 (2014)

Full Text
See detailCoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in International Conference on Automated Software Engineering (ASE 2014) (2014, September)

Full Text
See detailMiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas

in International Conference on Automated Software Engineering (ASE 2014) (2014, September)

Full Text
See detailAn Extended Systematic Literature Review on Provision of Evidence for Safety Certification
Nair, Sunil; de la Vara, Jose Luis; Sabetzadeh, Mehrdad; Briand, Lionel

in Information & Software Technology (2014), 56(7), 689717

Full Text
See detailIdentifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search
Nejati, Shiva; Briand, Lionel

in International Symposium on Software Testing and Analysis (ISSTA 2014) (2014, July)

Full Text
See detailModel-Based Testing of Obligations
Rubab, Iram; Ali, Shaukat; Briand, Lionel; Le Traon, Yves

in 14th Annual International Conference on Quality Software (QSIC) (2014)

Full Text
See detailUsing UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law
Soltana, Ghanem; Fourneret, Elizabeta; Adedjouma, Morayo; Sabetzadeh, Mehrdad; Briand, Lionel

in 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (2014)

Full Text
See detailSearch-based Security Testing of Web Applications
Thome, Julian; Gorla, Alessandra; Zeller, Andreas

in SBST 2014 Proceedings of the 7th International Workshop on Search-Based Software Testing (2014)

Full Text
See detailInterpolated N-Grams for Model Based Testing
Tonella, Paolo; Tiella, Roberto; Nguyen, Duy Cu

in Interpolated N-Grams for Model Based Testing (2014, May 31)

Top of Page

2013

Full Text
See detailGenerating Test Data from OCL Constraints with Search Techniques
Ali, Shaukat; Iqbal, Zohaib; Arcuri, Andrea; Briand, Lionel

in IEEE Transactions on Software Engineering (2013), 39(10),

Full Text
See detailAssessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment
Ali, Shaukat; Yue, Tao; Briand, Lionel

in IEEE International Conference on Software Testing, Verification, and Validation, Luxembourg (2013)

Full Text
See detailAssessing the Impact of Firewalls and Database Proxies on SQL Injection Testing
Appelt, Dennis; Alshahwan, Nadia; Briand, Lionel

in Springer LNCS series (2013)

Full Text
See detailAutomatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank; Gnaga, Raul

in 7th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013) (2013, October)

Full Text
See detailRUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates
Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Zimmer, Frank; Gnaga, Raul

in 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) (2013, August)

See detailCloud-based systems need multi-level management
Baresi, Luciano; Bianculli, Domenico; Guinea, Sam

in Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian (Eds.) Advanced Web Services (2013)

Full Text
See detailSimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems
Behjati, Razieh; Yue, Tao; Briand, Lionel; Selic, Bran

in Information & Software Technology (2013), 55(3),

Full Text
See detailA Syntactic-Semantic Approach to Incremental Verification
Bianculli, Domenico; Filieri, Antonio; Ghezzi, Carlo; Mandrioli, Dino

E-print/Working paper (2013)

See detailQASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications
Bianculli, Domenico; Guinea, Sam; Hallé, Sylvain; Polini, Andrea

Book published by ACM (2013)

See detailFrom SOLOIST to CLTLB(D): Checking quantitative properties of service-based applications
Bianculli, Domenico; Krstic, Srđan; Ghezzi, Carlo; San Pietro, Pierluigi

Report (2013)

See detail5th international workshop on principles of engineering service-oriented systems (PESOS 2013)
Bianculli, Domenico; Lago, Patricia; Lewis, Grace; Paik, Hye-Young

in Proceedings of the 2013 International Conference on Software Engineering (ICSE '13), San Francisco, CA USA (2013)

See detailProceedings of 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS)
Bianculli, Domenico; Lago, Patricia; Lewis, Grace; Paik, Hye-Young

Book published by IEEE (2013)

Full Text
See detailA Multi-Objective Genetic Algorithm to Rank State-Based Test Cases
Briand, Lionel; Labiche, Yvan; Chen, Kathy

in 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013)

Full Text
See detailA Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling
Chandramohan, Mahinthan; Tan, Beng Kuan; Briand, Lionel; Lwin Khin, Shar; Padmanabhuni, Bindu Madhavi

in IEEE/ACM Automated Software Engineering (ASE) (2013)

Full Text
See detailPWWM: A Personal Web Workflow Methodology
Chechik, Marsha; Simmonds, Jocelyn; Liaskos, Sotirios; Nejati, Shiva; Sabetzadeh, Mehrdad; Salay, Ricky

in Chignell, M.; Cordy, J.; Kealey, R.; Yesha, Y. (Eds.) The Personal Web (2013)

Full Text
See detailStress Testing of Task Deadlines: A Constraint Programming Approach
Di Alesio, Stefano; Nejati, Shiva; Briand, Lionel; Gotlieb, Arnaud

in The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013 (2013)

Full Text
See detailModel Based Test Validation and Oracles for Data Acquisition Systems
Di Nardo, Daniel; Alshahwan, Nadia; Briand, Lionel; Fourneret, Elizabeta; Nakic-Alfirevic, Tomislav; Masquelier, Vincent

in IEEE/ACM International Conference on Automated Software Engineering (2013, November)

Full Text
See detailCoverage-Based Test Case Prioritisation: An Industrial Case Study
Di Nardo, Daniel; Alshahwan, Nadia; Briand, Lionel; Labiche, Yvan

in IEEE International Conference on Software Testing, Verification and Validation (ICST) (2013, March)

Full Text
See detailVPML: an approach to detect design patterns of MOF-based modeling languages
Elaasar, Maged; Briand, Lionel; Labiche, Yvan

in Software & Systems Modeling (2013)

Full Text
See detailEnvironment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software
Iqbal, Muhammad Zohaib; Arcuri, Andrea; Briand, Lionel

in Software & Systems Modeling (2013)

See detailReport of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies
Lago, Patricia; Lewis, Grace; Metzger, Andreas; Tosic, Vladimir; Bianculli, Domenico; Di Marco, Antinisca; Polini, Andrea; Plebani, Pierluigi

in SIGSOFT Softw. Eng. Notes (2013), 38(1), 35--38

Full Text
See detailMining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis
Lwin Khin, shar; Tan, Beng Kuan; Briand, Lionel

in ACM/IEEE International Conference on Software Engineering, San Fransisco, USA (2013)

Full Text
See detailAutomated Model-in-the-Loop Testing of Continuous Controllers using Search
Matinnejad, Reza; Nejati, Shiva; Briand, Lionel; Bruckmann, Thomas; Poull, Claude

in 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013, August)

Full Text
See detailClassification, structuring, and assessment of evidence for safety: A systematic literature review
Nair, Sunil; de la Vara, Jose; Sabetzadeh, Mehrdad; Briand, Lionel

in International Conference on Software Testing, Verification, and Validation, Luxembourg 2013 (2013)

Full Text
See detailMinimizing CPU Time Shortage Risks in Integrated Embedded Software
Nejati, Shiva; Adedjouma, Morayo; Briand, Lionel; Hellebaut, Jonathan; Begey, Julien; Clement, Yves

in 28th IEEE/ACM International Conference on Automated Software Engineering (2013)

Full Text
See detailEvaluating the FITTEST Automated Testing Tools: an Industrial Case Study
Nguyen, Duy Cu; Mendelson, Bilha; Citron, Daniel; Shehory, Onn; Vos, Tanja E. J.; Condori, Nelly

Scientific Conference (2013, October)

Full Text
See detailAutomated Inference of Classifications and Dependencies for Combinatorial Testing
Nguyen, Duy Cu; Tonella, Paolo

Scientific Conference (2013, November 14)

Full Text
See detailAutomated Generation of State Abstraction Functions using Data Invariant Inference
Nguyen, Duy Cu; Tonella, Paolo; Marchetto, Alessandro; Lakhotia, Kiran; Harman, Mark

Scientific Conference (2013, May 18)

Full Text
See detailSupporting the Verification of Compliance to Safety Standards via Model-Driven Engineering: Approach, Tool-Support and Empirical Validation
Panesar-Walawege, Rajwinder; Sabetzadeh, Mehrdad; Briand, Lionel

in Information & Software Technology (2013), 55(1), 836-864

Full Text
See detailA Goal-Based Approach for Qualification of New Technologies: Foundations, Tool Support, and Industrial Validation
Sabetzadeh, Mehrdad; Falessi, Davide; Briand, Lionel; Di Alesio, Stefano

in Reliability Engineering & System Safety (2013), 119

Full Text
See detailN-Gram Based Test Sequence Generation from Finite State Models
Tonella, Paolo; Tiella, Roberto; Nguyen, Duy Cu

Scientific Conference (2013, November 10)

Top of Page

2012

Full Text
See detailDoes aspect-oriented modeling help improve the readability of UML state machines?
Ali, Shaukat; Yue, Tao; Briand, Lionel

in Software & Systems Modeling (2012)

Full Text
See detailA Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study
Ali, Shaukat; Yue, Tao; Briand, Lionel; Walawege, Suneth

in ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (2012)

Full Text
See detailFormal Analysis of the Probability of Interaction Fault Detection Using Random Testing
Arcuri, Andrea; Briand, Lionel

in IEEE Transactions on Software Engineering (2012), 38(5), 1088-1099

Full Text
See detailA Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering
Arcuri, Andrea; Briand, Lionel

in Software Testing : Verification & Reliability (2012)

Full Text
See detailModel-Based Automated and Guided Configuration of Embedded Software Systems
Behjati, Razieh; Nejati, Shiva; Yue, Tao; Gotlieb, Arnaud; Briand, Lionel

in European Conference on Modeling Foundations and Applications (2012)

Full Text
See detailA Modeling Approach to Support the Similarity-Based Reuse of Configuration Data
Behjati, Razieh; Yue, Tao; Briand, Lionel

in ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (2012)

Full Text
See detailThe tale of SOLOIST: a specification language for service compositions interactions
Bianculli, Domenico; Ghezzi, Carlo; San Pietro, Pierluigi

in Păsăreanu, Corina; Salaün, Gwen (Eds.) Formal Aspects of Component Software (2012, September)

Full Text
See detailResearch-Based Innovation: A Tale of Three Projects in Model-Driven Engineering
Briand, Lionel; Falessi, Davide; Nejati, Shiva; Sabetzadeh, Mehrdad; Yue, Tao

in 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (2012)

Full Text
See detailTesting Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques
Di Alesio, Stefano; Gotlieb, Arnaud; Nejati, Shiva; Briand, Lionel

in CSTVA 2012 (2012)

Full Text
See detailPlanning for Safety Standards Compliance: A Model-Based Tool-Supported Approach
Falessi, Davide; Sabetzadeh, Mehrdad; Briand, Lionel; Turella, Emanuele; Coq, Thierry; Panesar-Walawege, Rajwinder Kaur

in IEEE Software (2012), 29(3), 64-70

Full Text
See detailState-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies
Holt, Nina Elisabeth; Torkar, Richard; Briand, Lionel; Hansen, Kai

in IEEE International Symposium on Software Reliability Engineering (2012)

Full Text
See detailExperiences of applying UML/MARTE on three industrial projects
Iqbal, Muhammad Zohaib; Ali, Shaukat; Yue, Tao; Briand, Lionel

in ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (2012)

Full Text
See detailCombining Search-based and Adaptive Random Testing Strategies for Environment Model-based Testing of Real-time Embedded Systems
Iqbal, Muhammad Zohaib; Arcuri, Andrea; Briand, Lionel

in 4th Symposium on Search Based Software Engineering (2012)

Full Text
See detailEmpirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software
Iqbal, Muhammad Zohaib; Arcuri, Andrea; Briand, Lionel

in ACM International Symposium on Software Testing and Analysis (2012)

Full Text
See detailAn Analytical Review of Process-Centered Software Engineering Environments
Matinnejad, Reza; Ramsin, Raman

in International Conference on Engineering of Computer-Based Systems (ECBS 2012) (2012, April)

Full Text
See detailModeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing
Nejati, Shiva; Di Alesio, Stefano; Sabetzadeh, Mehrdad; Briand, Lionel

in 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (2012)

Full Text
See detailMatching and Merging of Variant Feature Specifications.
Nejati, Shiva; Sabetzadeh, Mehrdad; Chechik, Marsha; Easterbrook, Steve; Zave, Pamela

in IEEE Transactions on Software Engineering (2012), 38(6), 1355-1375

Top of Page