News

  • Ameni and Domenico got a paper accepted: Ameni Ben Fadhel, Domenico Bianculli, and Lionel Briand, “Gemrbac-dsl: a high-level specification language for role-based access control policies.” In Proceedings of the 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016), Shanghai, China. ACM, June 2016.
  • Domenico will receive the Best Reviewer Award at WICSA/CompArch 2016.
  • Thanh got a paper accepted: Ha Thanh Le, Peter Loh, and Chiew Tong Lau, “Performance evaluation of cyber reconnaissance tools”, in International Journal of Information Privacy, Security and Integrity.
  • Lionel, Shiva, Mike and Domencio got a paper accepted: Lionel Briand, Shiva Nejati, Mehrdad Sabetzadeh, and Domenico Bianculli, "Testing the untestable”, in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016).
  • Reza and Shiva got a paper accepted: "Automated Test Suite Generation for Time-continuous Simulink Models”, in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016).
  • Bing, Lucia, and Shiva got a paper accepted: "Localizing Multiple Faults in Simulink Models”, in the IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016).
  • Domenico got a paper accepted: "Efficient large-scale trace checking using MapReduce”, in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016).
  • Ameni got a paper accepted: Ameni Ben Fadhel, Domenico Bianculli, Lionel Briand, and Benjamin Hourte, "A model-driven approach to representing and checking RBAC contextual policies", in Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016).
  • Julian and Shar got a paper accepted: Thomé, Julian and Shar, Lwin Khin and Briand, Lionel, “Security slicing for auditing XML, XPath, and SQL injection vulnerabilities”, at ISSRE’15.
  • Two papers were accepted at ACM/IEEE MODELS 2015:
    • “A Model-Based Framework for Probabilistic Simulation of Legal Policies", Ghanem Soltana, Nicolas Sannier, Mehrdad Sabetzadeh, Lionel Briand (project with CTIE).
    • “Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach", Ines Hajri, Arda Goknil, Lionel Briand, Thierry Stephany (project with IEE).
  • Two papers were accepted at ESEC/FSE 2015:
    • “UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications”, Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand and Muhammad Zohaib Iqbal.
    • “NARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements”, Chetan Arora, Mehrdad Sabetzadeh, Arda Goknil, Lionel Briand and Frank Zimmer.
  • Mehrdad Sabetzadeh got promoted to Senior Research Scientist.
  • Sadeeq and Cu got a paper accepted: "Known XML Vulnerabilities Are a Strong Threat to Popular Parsers and Open Source Systems", Sadeeq Jan, Cu D. Nguyen, Lionel Briand, QRS 2015.
  • Ameni and Domenico have a paper accepted in the JSS journal: “A Comprehensive Modeling Framework for Role-based Access Control Policies”, Ameni Ben Fadhel, Domenico Bianculli, Lionel Briand, The Journal of Systems & Software.
  • Chetan, Mike and Arda have a paper accepted at RE 2015: Chetan Arora, Mehrdad Sabetzadeh, Arda Goknil, Lionel Briand, and Frank Zimmer, "Change Impact Analysis for Natural Language Requirements: An NLP Approach", 23rd IEEE International Requirements Engineering Conference (RE'15).
  • Reza and Shiva have a paper accepted at ESEC/FSE 2015: Reza Matinnejad, Shiva Nejati, Lionel C. Briand, and Thomas Bruckmann, "Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers", 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering.
  • Stefano has a paper accepted in TOSEM: Stefano Di Alesio et al., “Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines”, ACM TOSEM.
  • Chetan has a paper accepted in TSE: Chetan Aurora et al., “Automated Checking of Conformance to Requirements Templates using Natural Language Processing”, IEEE Transactions on Software Engineering (TSE).
  • Chunhui has a paper accepted in ACM ISSTA 2015: Chunhui Wang et al. “Automatic Generation of System Test Cases from Use Case Specifications”, ACM International Symposium on Software Testing and Analysis.
  • Erik and Lionel have a paper accepted in Transactions on Reliability: E. Rogstad, L. Briand, “Clustering Deviations for Black Box Regression Testing of Database Applications”, IEEE Transactions on Reliability.
  • Cu and Mariano have a paper accepted in TOSEM: "Do Automatically Generated Test Cases Make Debugging Easier? An Experimental Assessment of Debugging Effectiveness and Efficiency", Mariano Ceccato, Alessandro Marchetto, Leonardo Mariani, Cu D. Nguyen, Paolo Tonella, ACM Transactions on Software Engineering and Methodology.
  • Dan won the Best Presentation Award for his paper presentation at ICST 2015.
  • Thanh and Cu have a paper accepted in the ACM SACMAT 2015 conference, the main conference on access control. This is in the context of our project with Hitec.
  • Chunhui, Fabrizio and Arda (with some help from Zohaib back in Pakistan) have a paper accepted in ACM ISSTA 2015, one of the top conferences on software testing. This is in the context of our project with IEE.
  • Domenico got a paper accepted: Domenico Bianculli, Antonio Filieri, Carlo Ghezzi, Dino Mandrioli, and Alessandro Maria Rizzi. Syntax-driven program verification of matching logic properties. In Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015), co-located with ICSE 2015.
  • Shar got a paper accepted: Sun Ding, Hee Beng Kuan Tan, and Lwin Khin Shar. Mining Patterns of Unsatisfiable Constraints to Detect Infeasible Paths. In Proceedings of the 10th International Workshop on Automation of Software Test (AST 2015), co-located with ICSE 2015.
  • Dennis and Cu got a paper accepted: "Behind an Application Firewall, Are We Safe from SQL Injection Attacks? in IEEE ICST 2015.
  • Lionel Briand was invited to give keynotes to the STAF 2015 and QRS 2015 conferences, which will be held in L'Aquila, Italy, and Vancouver, Canada, respectively.
  • Fabrizio has a paper accepted at ICSE: "ZoomIn: Discovering Failures by Detecting Wrong Assertions", Fabrizio Pastore and Leonardo Mariani, ICSE 2015.
  • Dan, Fabrizio, and Lionel have a paper accepted at ICST: "Generating Complex and Faulty Test Data Through Model-Based Mutation Analysis," Daniel Di Nardo, Fabrizio Pastore and Lionel Briand, ICST 2015.
  • Lionel have a paper accepted: T. Yue, L. Briand, Y. Labiche, “aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models”, in ACM TOSEM.
  • Shar and Lionel have a paper accepted: Lwin Khin Shar, Lionel Briand, and Hee Beng Kuan Tan, "Web application vulnerability prediction using hybrid program analysis and machine learning," in IEEE Transactions on Dependable and Secure Computing (TDSC). 
  • Reza and Shiva's paper, "MiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models," won the ACM Distinguished Paper award in ASE 2014!!!
  • Domenico has a paper accepted: Domenico Bianculli, Carlo Ghezzi, Srđan Krstić, and Pierluigi San Pietro, "Offline trace checking of quantitative properties of service-based applications," in Proceedings of the 7th International Conference on Service Oriented Computing and Application (SOCA 2014)
  • Claudia THÜR joined us as a group assistant.
  • Lionel gave a distinguished lecture at ABB Research in Baden, Switzerland on September 10, 2014
  • Reza and Shiva had a tool paper accepted, "CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controllers", ASE 2014
  • Chetan and Mike got a paper, "Requirement Boilerplates: Transition From Manually-Enforced to Automatically-Verifiable Natural Language Patterns," in 4th International Workshop on Requirements Patterns (RePa 2014), collocated with RE'14.
  • Ghanem and Mike got a paper, "Using UML for modeling procedural legal rules: Approach and a study of Luxembourg's tax law," in MODELS'14.
  • Reza and Shiva has published a paper, "MiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models," in ASE 2014.
  • Shiva and Lionel has published a paper, "Worst-case Scheduling of Software Tasks – A Constraint Optimization Model to Support Performance Testing," in CP 2014.
  • Lionel gave a lecture on "Search-based approaches to model-based testing and verification," in International Summer School on Software Engineering, June 30 - July 3, 2014, University of Salerno, Italy.
  • Lionel Briand has published a paper, "On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software", in TSE. 
  • Lionel Briand gave a keynote at the SBST workshop (http://www.searchbasedsoftwaretesting.org/)
  • Chetan and Mike got an ESEM 2014 paper published
  • Morayo and Mike got an RE 2014 paper published.
  • Reza and Shiva's IST journal was published.
  • Matt Staats's paper, "Are Concurrency Coverage Metrics Effective for Testing: A Comprehensive Empirical Investigation" has been accepted for publication in STVR.
  • Lwin Khin Shar's paper, "Empirical Comparison of Intermediate Representations for Android Applications," will appear at SEKE 2014.
  • Dennis Appelt, Cu Nguyen, and Lionel Briand's  paper, "Automated Testing for SQL Injection Vulnerabilities, A Mutation-Based Approach", has been accepted for publication at ISSTA 2014.
  • Matt Staats's paper, "Dodona: Automated Oracle Data Set Selection", has been accepted for publication at ISSTA 2014.
  • Stephan Arlt's paper, "Reducing GUI Test Suites via Program Slicing", has been accepted for publication at ISSTA 2014.
  • Wei Dou, Domenico Bianculli and Lionel Briand's paper,  "OCLR: a More Expressive, Pattern-based Temporal Extension of OCL" has been accepted for publication at ECMFA 2014.
  • Lionel Briand's paper "Empirical Evaluations on the Cost-Effectiveness of State-Based Testing: An Industrial Case Study" has been accepted for publication in IST.
  • Domenico Bianculli's paper "Towards the formalization of properties of cloud-based elastic systems" has been accepted for presentation at PESOS 2014.
  • Lionel Briand will be speaking at the following summer school: http://www.sesa.dmi.unisa.it/seschool/
  • Shiva Nejati and Lionel Briand's paper "Architecture-Level Configuration of Large-Scale Embedded Software Systems" has been accepted for publication at TOSEM. 
  • Domenico Bianculli's paper "SMT-based checking of SOLOIST over sparse traces" has been accepted for presentation at FASE 2014.
  • Domenico Bianculli's paper "Syntactic-semantic incrementality for agile verification" has been accepted for publication in Science of Computer Programming.
  • Stephan Arlt's paper, "The Gradual Verifier”, has been accepted for presentation at NFM 2014. The tool is available at: http://gravy.joogie.org
  • Cu Nguyen's paper, "Interpolated N-Grams for Model Based Testing",  has been accepted for presentation at ICSE 2014.
  • 19/11/2013 Lionel Briand to receive the IEEE Reliability annual award ("Reliability Engineer of the year") http://rs.ieee.org/awards.html#engineer
  • 11/11/2013 Reza Matinnejad and Shiva Nejati have released their tool, CoCoTest or Continuous Controller Tester, for testing dynamic continuous controllers. Check out https://sites.google.com/site/cocotesttool/ for details.
  • 8/11/2013 Marco Brambilla from Politecnico di Milano gives a seminar on "Development of Software Front Ends with Model-Driven Approaches: the case of OMG's IFML (Interaction Flow Modeling Language)"
  • 26/8/2013 Lionel Briand has been selected by the Franklin Institute to serve on the selection board for 2014 Bower Award for achievement in science. 
  • 24/8/2013 "A Multi-Objective Genetic Algorithm to Rank State-Based Test Cases", co-authored by Lionel Briand, received a best paper award from SSBSE 2013.
  • 24/7/2013 Three papers by the SVV lab were accepted to ASE 2013
  • 11/6/2013 Lionel Briand, will be giving the keynote address at the Test Automation Day 2013, Rotterdam, The Netherlands. 
  • 11/6/2013 Lionel Briand, will be giving the keynote address at APSEC 2013.
  • 6/6/2013 Nadia Alshahwan is on the program committee of FITTEST2013 (1st Future Internet Testing workshop).
  • 5/6/2013 Sadeeq Jan's proposal for the AFR PhD award was successfully recommended for funding. 
  • 4/6/2013 Chetan Arora and Mehrdad Sabetzadeh released the tool RUBRIC (ReqUirements BoileRplate sanIty Checker). RUBRIC is a flexible tool for automatically checking natural language requirements against boilerplates for conformance.
  • 19/5/2013 Lionel Briand, keynote address at MISE 2013 (co-located with ICSE 2013).
  • 19/11/2012 Lionel Briand is part of a Scientific Advisory Board meeting at the EASE institute (Embedded systems) in Lund University, Sweden
  • 13/11/2012 Lionel Briand will give a distinguished lecture at the University of California, Irvine, Institute for Software Research
  • 15/8/2012 YouTube interview of Lionel Briand by Philippe Kruchten about "Embracing the Engineering Side of Software Engineering"
  • 14/8/2012 "Embracing the Engineering Side of Software Engineering", IEEE Software July/August 2012. Lionel Briand's reflections on 20 years of software engineering research and practice.
  • 12/7/2012 The SnT centre is moving to a new, beautiful building on August 3rd!
  • 4/7/2012 The Empirical Software Engineering journal (Springer), led by Lionel Briand (EiC), is reported to have the second highest impact factor among all software engineering research journals.
  • 28/5 and 15/6/2012: Tutorial on requirements engineering at SES
  • 08/06/2012: Lionel Briand receives the Harlan Mills award from the IEEE Computer Society. See this article for more details.
  • 30/05 and 1/06/2012: Lionel Briand will be giving keynote addresses at TOOLS 2012 and the International Conference on 
  • Multicore Software Engineering, Performance, and Tools (MSEPT'12)

Group Seminar at the Chateau de Schengen 17th and 18th of June 2013

(+ info)