BibSLEIGH — Lionel_C

Travelled to:

1 × Brazil
1 × China
1 × Ireland
1 × Japan
1 × Luxembourg
1 × New Zealand
1 × Norway
1 × Russia
1 × Spain
1 × The Netherlands
19 × USA
2 × Austria
2 × Denmark
2 × Hungary
2 × Sweden
3 × Germany
3 × United Kingdom
5 × France
7 × Canada
8 × Italy

Collaborated with:

Y.Labiche S.Nejati A.Arcuri M.Sabetzadeh T.Yue ∅ M.Z.Z.Iqbal S.Ali D.Bianculli K.E.Emam A.Goknil R.Matinnejad D.D.Nardo W.Dou V.Garousi V.R.Basili F.Pastore H.Hemmati I.Wieczorek D.Appelt F.Zimmer G.Soltana L.K.Shar T.Bruckmann W.L.Melo R.Behjati M.Adedjouma N.Alshahwan M.Elaasar M.Shousha C.Arora C.D.Nguyen J.Wüst H.Lounis H.B.K.Tan I.Hajri T.Stephany S.D.Alesio S.Walawege A.Gotlieb R.B.Abdessalem T.Stifter Y.Kim C.Menghi K.Gaaloul C.Wang D.Falessi E.Fourneret Y.Liu W.Araujo M.Bowman G.Zoughbi M.M.Sówka A.Sauve J.H.Andrews W.J.Dzidek J.Leduc Y.Wang L.O'Sullivan J.Cui Y.Miao G.Soccar H.Sun J.Feng T.Langley F.Bomarius P.T.Devanbu S.Morasca W.M.Thomas C.J.Hetmanski A.B.Fadhel N.Sannier S.Nair J.L.d.l.Vara R.K.Panesar-Walawege T.Coq F.Massicotte M.Couture H.Yan M.D.Penta S.V.Ikonomovski O.Laitenberger T.Fussbroich C.Bunse J.W.Daly C.Differding C.B.Seaman D.R.Squier M.Ceccato C.D.Nguyen J.Thomé M.Chandramohan B.M.Padmanabhuni R.Gnaga B.Selic A.Messina E.Rogstad R.Dalberg M.Rynning E.Arisholm D.Surmann K.Maxwell C.A.González M.Varmazyar Y.Isasi C.A.0002 F.Mandoux A.Panichella T.Nakic-Alfirevic V.Masquelier J.Hellebaut J.Begey Y.Clement S.E.Condon J.D.Valett S.Y.Shin K.Chaouch S.Foster D.Wolfe

Talks about:

test (49) model (48) base (29) use (25) system (22) case (20) uml (20) analysi (17) softwar (16) autom (15)

♂ Person: Lionel C. Briand

DBLP: Briand:Lionel_C=

Facilitated 17 volumes:

PrBoard

SCh

PrCh

PrBoard

SCh

PrBoard

SCo

PrCo

PrCh

SCh

PrCo

Contributed to:

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1997

1996

1995

1994

1993

2015

2016

2017

2018

2016

2017

2018

2019

Wrote 109 papers:

ESEC-FSE-2015-0002SGBZ #automation #impact analysis #named #natural language #requirements: NARCIA: an automated tool for change impact analysis in natural language requirements (CA, MS, AG, LCB, FZ), pp. 962–965.
ESEC-FSE-2015-MatinnejadNBB #effectiveness #testing: Effective test suites for mixed discrete-continuous stateflow controllers (RM, SN, LCB, TB), pp. 84–95.
ESEC-FSE-2015-WangPGBI #automation #case study #named #specification #testing #tool support: UMTG: a toolset to automatically generate system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 942–945.
ICST-2015-AppeltNB #injection #question #sql: Behind an Application Firewall, Are We Safe from SQL Injection Attacks? (DA, CDN, LCB), pp. 1–10.
ICST-2015-NardoPB #analysis #generative #modelling #mutation testing #testing: Generating Complex and Faulty Test Data through Model-Based Mutation Analysis (DDN, FP, LCB), pp. 1–10.
ISSTA-2015-WangPGBI #automation #case study #generative #specification #testing: Automatic generation of system test cases from use case specifications (CW, FP, AG, LCB, MZZI), pp. 385–396.
MoDELS-2015-HajriGBS #approach #case study #embedded #industrial #lessons learnt #modelling #product line: Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach (IH, AG, LCB, TS), pp. 338–347.
MoDELS-2015-SoltanaSSB #framework #modelling #policy #probability #simulation: A model-based framework for probabilistic simulation of legal policies (GS, NS, MS, LCB), pp. 70–79.
ASE-2014-MatinnejadNBB #configuration management #modelling #scalability #testing #using: MiL testing of highly configurable continuous controllers: scalable search using surrogate models (RM, SN, LCB, TB), pp. 163–174.
ASE-2014-MatinnejadNBB14a #named #testing: CoCoTest: a tool for model-in-the-loop testing of continuous controllers (RM, SN, LCB, TB), pp. 855–858.
ECMFA-2014-DouBB #named #ocl: OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL (WD, DB, LCB), pp. 51–66.
ISSTA-2014-AppeltNBA #approach #automation #injection #sql #testing: Automated testing for SQL injection vulnerabilities: an input mutation approach (DA, CDN, LCB, NA), pp. 259–269.
ISSTA-2014-NejatiB #constraints #cpu #identification #trade-off #using: Identifying optimal trade-offs between CPU time usage and temporal constraints using search (SN, LCB), pp. 351–361.
MoDELS-2014-SoltanaFASB #approach #case study #modelling #uml #using: Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law (GS, EF, MA, MS, LCB), pp. 450–466.
RE-2014-AdedjoumaSB #approach #automation #case study #detection: Automated detection and resolution of legal cross references: Approach and a study of Luxembourg’s legislation (MA, MS, LCB), pp. 63–72.
ASE-2013-ChandramohanTBSP #approach #behaviour #bound #detection #modelling #scalability: A scalable approach for malware detection through bounded feature space behavior modeling (MC, HBKT, LCB, LKS, BMP), pp. 312–322.
ASE-2013-NardoABFNM #modelling #validation: Model based test validation and oracles for data acquisition systems (DDN, NA, LCB, EF, TNA, VM), pp. 540–550.
ASE-2013-NejatiABHBC #cpu #embedded #risk management: Minimizing CPU time shortage risks in integrated embedded software (SN, MA, LCB, JH, JB, YC), pp. 529–539.
ESEC-FSE-2013-AroraSBZG #automation #consistency #flexibility #named: RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates (CA, MS, LCB, FZ, RG), pp. 599–602.
ICSE-2013-SharTB #hybrid #injection #mining #program analysis #sql #using: Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis (LKS, HBKT, LCB), pp. 642–651.
ICST-2013-AliYB #empirical #quality #robust #state machine #testing: Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment (SA, TY, LCB), pp. 212–221.
ICST-2013-NairVSB #assessment #classification #overview #perspective #safety: Classification, Structuring, and Assessment of Evidence for Safety — A Systematic Literature Review (SN, JLdlV, MS, LCB), pp. 94–103.
ICST-2013-NardoABL #case study #industrial #testing: Coverage-Based Test Case Prioritisation: An Industrial Case Study (DDN, NA, LCB, YL), pp. 302–311.
ECMFA-2012-BehjatiNYGB #automation #embedded #modelling: Model-Based Automated and Guided Configuration of Embedded Software Systems (RB, SN, TY, AG, LCB), pp. 226–243.
ECMFA-2012-BriandLL #data flow #diagrams #integration #sequence #state machine #testing #uml: Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing (LCB, YL, YL), pp. 74–89.
ICST-2012-AlesioGNB #constraints #optimisation #realtime #testing #using: Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques (SDA, AG, SN, LCB), pp. 764–769.
ISSTA-2012-IqbalAB #algorithm #embedded #empirical #modelling #realtime #testing: Empirical investigation of search algorithms for environment model-based testing of real-time embedded software (MZZI, AA, LCB), pp. 199–209.
MoDELS-2012-AliYBW #case study #industrial #modelling #product line #testing: A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study (SA, TY, LCB, SW), pp. 726–742.
MoDELS-2012-BehjatiYB #approach #modelling #reuse #similarity #using: A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data (RB, TY, LCB), pp. 497–513.
MoDELS-2012-BriandFNSY #modelling: Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering (LCB, DF, SN, MS, TY), pp. 793–809.
MoDELS-2012-IqbalAYB #case study #experience #industrial #uml: Experiences of Applying UML/MARTE on Three Industrial Projects (MZZI, SA, TY, LCB), pp. 642–658.
MoDELS-2012-NejatiASB #analysis #cpu #embedded #modelling #safety #testing: Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing (SN, SDA, MS, LCB), pp. 759–775.
ECMFA-2011-BehjatiYNBS #architecture #concept #modelling: Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling (RB, TY, SN, LCB, BS), pp. 236–252.
ECMFA-2011-ElaasarBL #qvt #verification: Domain-Specific Model Verification with QVT (ME, LCB, YL), pp. 282–298.
ECMFA-2011-YueAB #automation #case study #state machine #testing #uml: Automated Transition from Use Cases to UML State Machines to Support State-Based Testing (TY, SA, LCB), pp. 115–131.
ESEC-FSE-2011-FalessiNSBM #design #named #safety #slicing: SafeSlice: a model slicing and design safety inspection tool for SysML (DF, SN, MS, LCB, AM), pp. 460–463.
ICSE-2011-AraujoBL #concurrent #contract #java #modelling #runtime: Enabling the runtime assertion checking of concurrent contracts for the Java modeling language (WA, LCB, YL), pp. 786–795.
ICSE-2011-ArcuriB #algorithm #random #re-engineering #statistics #testing #using: A practical guide for using statistical tests to assess randomized algorithms in software engineering (AA, LCB), pp. 1–10.
ICSM-2011-Briand #re-engineering #research: Useful software engineering research — leading a double-agent life (LCB), p. 2.
ICSM-2011-RogstadBDRA #automation #case study #database #experience #industrial #legacy #testing: Industrial experiences with automated regression testing of a legacy database application (ER, LCB, RD, MR, EA), pp. 362–371.
ICST-2011-HemmatiAB #empirical #similarity #testing: Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection (HH, AA, LCB), pp. 327–336.
ISSTA-2011-ArcuriB #adaptation #effectiveness #question #random testing #testing: Adaptive random testing: an illusion of effectiveness? (AA, LCB), pp. 265–275.
MoDELS-2011-AliBAW #algorithm #aspect-oriented #industrial #modelling #robust #testing #uml #using: An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms (SA, LCB, AA, SW), pp. 108–122.
ECMFA-2010-YueBL #approach #automation #case study #diagrams #process: An Automated Approach to Transform Use Cases into Activity Diagrams (TY, LCB, YL), pp. 337–353.
FSE-2010-HemmatiBAA #approach #case study #industrial #modelling #testing: An enhanced test case selection approach for model-based testing: an industrial case study (HH, LCB, AA, SA), pp. 267–276.
ICST-2010-Panesar-WalawegeSBC #concept #modelling #safety #standard: Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard (RKPW, MS, LCB, TC), pp. 335–344.
ICTSS-2010-ArcuriIB #black box #embedded #random #realtime #search-based #testing #using: Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing (AA, MZZI, LCB), pp. 95–110.
ICTSS-2010-HemmatiAB #cost analysis #modelling #testing: Reducing the Cost of Model-Based Testing through Test Case Diversity (HH, AA, LCB), pp. 63–78.
ISSTA-2010-ArcuriIB #analysis #effectiveness #formal method #predict #random testing #testing: Formal analysis of the effectiveness and predictability of random testing (AA, MZZI, LCB), pp. 219–230.
MoDELS-v1-2010-IqbalAB #black box #case study #embedded #industrial #modelling #realtime #testing #uml: Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies (MZZI, AA, LCB), pp. 286–300.
MoDELS-2009-ShoushaBL #analysis #concurrent #detection #uml: A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems (MS, LCB, YL), pp. 47–61.
MoDELS-2009-YueBL #analysis #approach #case study #concept #empirical #evaluation #modelling #towards: A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation (TY, LCB, YL), pp. 484–498.
MoDELS-2008-ShoushaBL #algorithm #analysis #concurrent #search-based #uml: A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms (MS, LCB, YL), pp. 475–489.
ICSM-2007-BowmanBL #algorithm #multi #search-based: Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment (MB, LCB, YL), pp. 124–133.
MoDELS-2007-MassicotteCBL #detection #modelling: Model-Driven, Network-Context Sensitive Intrusion Detection (FM, MC, LCB, YL), pp. 61–75.
MoDELS-2007-ZoughbiBL #safety #uml: A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software (GZ, LCB, YL), pp. 574–588.
ICSE-2006-BriandLS #automation #component #contract #testing: Automated, contract-based user testing of commercial-off-the-shelf components (LCB, YL, MMS), pp. 92–101.
ICSE-2006-GarousiBL #distributed #modelling #testing #uml: Traffic-aware stress testing of distributed systems based on UML models (VG, LCB, YL), pp. 391–400.
ICSM-2006-BriandLS #design pattern #modelling #uml: Guiding the Application of Design Patterns Based on UML Models (LCB, YL, AS), pp. 234–243.
MoDELS-2006-ElaasarBL #approach #metamodelling #specification: A Metamodeling Approach to Pattern Specification (ME, LCB, YL), pp. 484–498.
MoDELS-2006-GarousiBL #analysis #behaviour #dependence #distributed #modelling #uml #visualisation: Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models (VG, LCB, YL), pp. 365–379.
WCRE-2006-Briand #challenge #paradigm #reverse engineering: The Experimental Paradigm in Reverse Engineering: Role, Challenges, and Limitations (LCB), pp. 3–8.
ECMDA-FA-2005-GarousiBL #analysis #control flow #diagrams #sequence chart #uml: Control Flow Analysis of UML 2.0 Sequence Diagrams (VG, LCB, YL), pp. 160–174.
ICSE-2005-AndrewsBL #question #testing: Is mutation an appropriate tool for testing experiments? (JHA, LCB, YL), pp. 402–411.
ICSM-2005-BriandDL #aspect-oriented #contract #debugging #programming: Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging (LCB, WJD, YL), pp. 687–690.
ICSM-2005-BriandLL #aspectj #distributed #using: Tracing Distributed Systems Executions Using AspectJ (LCB, YL, JL), pp. 81–90.
ICSE-2004-BriandLW #empirical #simulation #statechart #test coverage #using: Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart (LCB, YL, YW), pp. 86–95.
ICSM-2004-BriandLYP #constraints #development #empirical #ocl #uml: A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development (LCB, YL, HDY, MDP), pp. 380–389.
CSMR-2003-Briand #documentation #how #question: Software Documentation: How Much Is Enough? (LCB), p. 13–?.
ICSM-2003-BriandLO #impact analysis #modelling #uml: Impact Analysis and Change Management of UML Models (LCB, YL, LO), pp. 256–265.
UML-2003-BriandCL #automation #testing #towards #uml: Towards Automated Support for Deriving Test Data from UML Statecharts (LCB, JC, YL), pp. 249–264.
WCRE-2003-BriandLM #diagrams #reverse engineering #sequence chart #towards #uml: Towards the Reverse Engineering of UML Sequence Diagrams (LCB, YL, YM), pp. 57–66.
ICSM-2002-BriandLS #automation #design #impact analysis #testing #uml: Automating Impact Analysis and Regression Test Selection Based on UML Designs (LCB, YL, GS), pp. 252–261.
ISSTA-2002-BriandLS #analysis #contract #fault #object-oriented #using: Investigating the use of analysis contracts to support fault isolation in object oriented code (LCB, YL, HS), pp. 70–80.
SEKE-2002-Briand #information management #on the #re-engineering: On the many ways software engineering can benefit from knowledge engineering (LCB), pp. 3–6.
SEKE-2002-BriandFL #algorithm #integration #metric #order #search-based #using: Using genetic algorithms and coupling measures to devise optimal integration test orders (LCB, JF, YL), pp. 43–50.
UML-2001-BriandL #approach #testing #uml: A UML-Based Approach to System Testing (LCB, YL), pp. 194–208.
ICSE-2000-BriandLW #assessment #comparison #cost analysis #modelling: A replicated assessment and comparison of common software cost modeling techniques (LCB, TL, IW), pp. 377–386.
ICSE-1999-BriandESWM #assessment #comparison #estimation #modelling: An Assessment and Comparison of Common Software Cost Estimation Modeling Techniques (LCB, KEE, DS, IW, KM), pp. 313–322.
ICSE-1999-BriandEW #cost analysis: Explaining the Cost of European Space and Military Projects (LCB, KEE, IW), pp. 303–312.
ICSE-1999-BriandWIL #case study #design #industrial #object-oriented #quality: Investigating Quality Factors in Object-Oriented Designs: An Industrial Case Study (LCB, JW, SVI, HL), pp. 345–354.
ICSM-1999-BriandWL #impact analysis #metric #object-oriented #using: Using Coupling Measurement for Impact Analysis in Object-Oriented Systems (LCB, JW, HL), pp. 475–482.
ICSE-1998-BriandEB #assessment #benchmark #estimation #hybrid #metric #named #risk management: COBRA: A Hybrid Method for Software Cost Estimation, Benchmarking, and Risk Assessment (LCB, KEE, FB), pp. 390–399.
ICSE-1998-BriandELF #benchmark #development #metric #performance #simulation #using: Using Simulation to Build Inspection Efficiency Benchmarks for Development Projects (LCB, KEE, OL, TF), pp. 340–349.
ICSM-1998-Briand #evaluation #off the shelf: COTS Evaluation and Selection (LCB), pp. 222–223.
ICSE-1997-BriandDM #c++ #metric: An Investigation into Coupling Measures for C++ (LCB, PTD, WLM), pp. 412–421.
ICSM-1997-BriandBDD #comparison #design #documentation #maintenance #object-oriented: An Experimental Comparison of the Maintainability of Object-Oriented and Structured Design Documents (LCB, CB, JWD, CD), p. 130–?.
ICSE-1996-BasiliBCKMV #comprehension #maintenance #predict #process: Understanding and Predicting the Process of Software Maintenance Release (VRB, LCB, SEC, YMK, WLM, JDV), pp. 464–474.
ICSE-1995-BriandMSB #maintenance #scalability: Characterizing and Assessing a Large-Scale Software Maintenance Organization (LCB, WLM, CBS, VRB), pp. 133–143.
ICSM-1994-BriandBKS #analysis #maintenance #process: A Change Analysis Process to Characterize Software Maintenance Projects (LCB, VRB, YMK, DRS), pp. 38–49.
CSM-1993-BriandMB #design #maintenance: Measuring and Assessing Maintainability at the End of High Level Design (LCB, SM, VRB), pp. 88–97.
ICSE-1993-BriandTH #development #modelling: Modeling and Managing Risk Early in Software Development (LCB, WMT, CJH), pp. 55–65.
ASE-2015-NardoPAB #modelling #robust #testing #using: Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T) (DDN, FP, AA, LCB), pp. 126–137.
ASE-2016-AbdessalemNBS #multi #network #testing #using: Testing advanced driver assistance systems using multi-objective search and neural networks (RBA, SN, LCB, TS), pp. 63–74.
ASE-2016-CeccatoNAB #automation #black box #injection #named #security #testing: SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities (MC, CDN, DA, LCB), pp. 167–177.
MoDELS-2016-AroraSBZ #approach #domain model #evaluation #industrial #modelling #requirements: Extracting domain models from natural-language requirements: approach and industrial evaluation (CA, MS, LCB, FZ), pp. 250–260.
MoDELS-2017-DouBB #approach #modelling: A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties (WD, DB, LCB), pp. 323–333.
MoDELS-2018-DouBB #modelling #specification: Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications (WD, DB, LCB), pp. 278–288.
MoDELS-2018-GonzalezVNBI #cyber-physical #testing: Enabling Model Testing of Cyber-Physical Systems (CAG, MV, SN, LCB, YI), pp. 176–186.
MoDELS-2018-ShinCNSBZ #analysis #framework #named #physics #testing #uml: HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems (SYS, KC, SN, MS, LCB, FZ), pp. 357–367.
FSE-2016-HajriGBS #case study #domain model #modelling #named #product line: PUMConf: a tool to configure product specific use case and domain models in a product line (IH, AG, LCB, TS), pp. 1008–1012.
FSE-2016-NejatiS0BM #automation #design #impact analysis #modelling #requirements: Automated change impact analysis between SysML models of requirements and design (SN, MS, CA0, LCB, FM), pp. 242–253.
ASE-2017-SoltanaSB #generative #statistics #testing: Synthetic data generation for statistical testing (GS, MS, LCB), pp. 872–882.
ESEC-FSE-2017-MatinnejadNB #automation #case study #hybrid #industrial #testing: Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies (RM, SN, LCB), pp. 938–943.
ESEC-FSE-2017-ThomeSBB #injection #named: JoanAudit: a tool for auditing common injection vulnerabilities (JT, LKS, DB, LCB), pp. 1004–1008.
ASE-2018-AbdessalemPNBS #feature model #interactive #testing #using: Testing autonomous cars for feature interaction failures using many-objective search (RBA, AP, SN, LCB, TS), pp. 143–154.
ASE-2018-FadhelBB #data access #modelling #policy #runtime: Model-driven run-time enforcement of complex role-based access control policies (ABF, DB, LCB), pp. 248–258.
ESEC-FSE-2019-MenghiNGB #automation #behaviour #generative #modelling #nondeterminism #online #testing: Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors (CM, SN, KG, LCB), pp. 27–38.
ESEC-FSE-2019-NejatiGMBFW #model checking #modelling #requirements #testing: Evaluating model testing and model checking for finding requirements violations in Simulink models (SN, KG, CM, LCB, SF, DW), pp. 1015–1025.