Manuel Oriol

According to our database, Manuel Oriol authored at least 78 papers between 1999 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Is MCDC Really Better? Lessons from Combining Tests and Proofs.

Li Huang, Bertrand Meyer, Manuel Oriol

Proceedings of the Tests and Proofs - 18th International Conference, 2024

Execution-Free Program Repair.

Li Huang, Bertrand Meyer, Ilgiz Mustafin, Manuel Oriol

Proceedings of the Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering, 2024

Quantum types: going beyond qubits and quantum gates.

Tamás Varga, Yaiza Aragonés-Soria, Manuel Oriol

Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering, 2024

C4Q: A Chatbot for Quantum.

Yaiza Aragonés-Soria, Manuel Oriol

Proceedings of the 5th ACM/IEEE International Workshop on Quantum Software Engineering, 2024

2023

Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites.

Li Huang, Bertrand Meyer, Manuel Oriol

Proceedings of the Testing Software and Systems, 2023

Tribal Capstone Project Course.

Manuel Oriol

Proceedings of the Frontiers in Software Engineering Education, 2023

Is ChatGPT 3 Safe for Students?

Julia Kotovich, Manuel Oriol

Proceedings of the Frontiers in Software Engineering Education, 2023

2022

Improving Counterexample Quality from Failed Program Verification.

Li Huang, Bertrand Meyer, Manuel Oriol

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

2018

Bluetooth Low Energy Devices Security Testing Framework.

Apala Ray, Vipin Raj, Manuel Oriol, Aurelien Monot, Sebastian Obermeier

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017

Quality Attribute Trade-Offs in Industrial Software Systems.

Michael Wahler, Raphael Eidenbenz, Aurelien Monot, Manuel Oriol, Thanikesavan Sivanthi

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

2016

Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead.

Aurelien Monot, Manuel Oriol, Camille Schneider, Michael Wahler

Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems.

Rachid Guerraoui, David Kozhaya, Manuel Oriol, Yvonne-Anne Pignolet

Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

2015

Subdomain-based test data generation.

Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark

J. Syst. Softw., 2015

FASA: A software architecture and runtime framework for flexible distributed automation systems.

Michael Wahler, Thomas Gamer, Atul Kumar, Manuel Oriol

J. Syst. Archit., 2015

Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island.

Manuel Oriol

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

SANCS 2015: 1st International Workshop on Software Architectures for Next-generation Cyber-physical Systems.

Manuel Oriol, Jan Carlson, Michael Wahler

Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Real-time Multi-core Components for Cyber-physical Systems.

Michael Wahler, Manuel Oriol, Aurelien Monot

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

Stochastic Contracts for Runtime Checking of Component-based Real-time Systems.

Chandrakana Nandi, Aurelien Monot, Manuel Oriol

Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

RADAR: Dynamic Analysis of Upgrades in C/C++ Software.

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler

Proceedings of the Validation of Evolving Software, 2015

2014

Execution Time Analysis for Industrial Control Applications.

Stefan Stattelmann, Manuel Oriol, Thomas Gamer

Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Probability-Based Semantic Interpretation of Mutants.

Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Disruption-free software updates in automation systems.

Michael Wahler, Manuel Oriol

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Increasing efficiency of M-out-of-N redundancy.

Thomas Gamer, Manuel Oriol, Michael Wahler

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

2013

Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support.

Marco Piccioni, Manuel Oriol, Bertrand Meyer

IEEE Trans. Software Eng., 2013

Efficient Subdomains for Random Testing.

Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark

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

The search for the laws of automatic random testing.

Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Fault-tolerant fault tolerance for component-based automation systems.

Manuel Oriol, Thomas Gamer, Thijmen de Gooijer, Michael Wahler, Ettore Ferranti

Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

Using Mutation Analysis to Evolve Subdomains for Random Testing.

Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark

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

Threat methodology for securing scalable video in the Cloud.

Afnan Ullah Khan, Manuel Oriol, Mariam Kiran

Proceedings of the 8th International Conference for Internet Technology and Secured Transactions, 2013

Reconciling flexibility and robustness in industrial automation systems, and living happily ever after.

Michael Wahler, Manuel Oriol, Ettore Ferranti, Aurelien Monot

Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy.

Matthew Patrick, Robert Alexander, Manuel Oriol, John A. Clark

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Automatic Translation of C Source Code to Eiffel

Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol

CoRR, 2012

C to O-O Translation: Beyond the Easy Stuff.

Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Dynamic Analysis of Upgrades in C/C++ Software.

Fabrizio Pastore, Leonardo Mariani, Alberto Goffi, Manuel Oriol, Michael Wahler

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

FASA: a scalable software framework for distributed control systems.

Manuel Oriol, Michael Wahler, Robin Steiger, Sascha Stoeter, Egemen Vardar, Heiko Koziolek, Atul Kumar

Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

MESSI: Mutant Evaluation by Static Semantic Interpretation.

Matthew Patrick, Manuel Oriol, John A. Clark

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Random Testing: Evaluation of a Law Describing the Number of Faults Found.

Manuel Oriol

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Security risks and their management in cloud computing.

Afnan Ullah Khan, Manuel Oriol, Mariam Kiran, Ming Jiang, Karim Djemame

Proceedings of the 4th IEEE International Conference on Cloud Computing Technology and Science Proceedings, 2012

2011

On the number and nature of faults found by random testing.

Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer

Softw. Test. Verification Reliab., 2011

Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support

Marco Piccioni, Manuel Oriol, Bertrand Meyer

CoRR, 2011

Automated Translation of Java Source Code to Eiffel.

Marco Trudel, Manuel Oriol, Carlo A. Furia, Martin Nordio

Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Challenges to support automated random testing for dynamically typed languages.

Stéphane Ducasse, Manuel Oriol, Alexandre Bergel

Proceedings of the International Workshop on Smalltalk Technologies, 2011

Non-disruptive large-scale component updates for real-time controllers.

Michael Wahler, Stefan Richter, Sumit Kumar, Manuel Oriol

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.

Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Is Branch Coverage a Good Measure of Testing Effectiveness?

Yi Wei, Bertrand Meyer, Manuel Oriol

Proceedings of the Empirical Software Engineering and Verification, 2010

Satisfying Test Preconditions through Guided Object Selection.

Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol

Proceedings of the Third International Conference on Software Testing, 2010

YETI on the Cloud.

Manuel Oriol, Faheem Ullah

Proceedings of the Third International Conference on Software Testing, 2010

Testing .NET Code with YETI.

Manuel Oriol, Sotirios Tassis

Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009

The Business of Selling Electronic Documents

Manuel Oriol

CoRR, 2009

An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software.

Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider

Proceedings of the ASE 2009, 2009

On the Effectiveness of Test Extraction without Overhead.

Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol

Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Dynamic Software Updates for Real-Time Systems.

Michael Wahler, Stefan Richter, Manuel Oriol

Proceedings of the 2nd ACM Workshop on Hot Topics in Software Upgrades, 2009

2008

Automatic extraction of notions from course material.

Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer

Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Course management with TrucStudio.

Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer

Proceedings of the 13th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2008

Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports.

Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner

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

On the Predictability of Random Tests for Object-Oriented Software.

Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer

Proceedings of the First International Conference on Software Testing, 2008

ARTOO: adaptive random testing for object-oriented software.

Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer

Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Getting Farther on Software Evolution via AOP and Reflection.

Manuel Oriol, Walter Cazzola, Shigeru Chiba, Gunter Saake

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007

Reflecting on an Existing Programming Language .

Andreas Leitner, Patrick Th. Eugster, Manuel Oriol, Ilinca Ciupa

J. Object Technol., 2007

Contract driven development = test driven development - writing test cases.

Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007

Open source projects in programming courses.

Michela Pedroni, Till G. Bay, Manuel Oriol, Andreas Pedroni

Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

Primitives for the dynamic evolution of component-based applications.

Manuel Oriol

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Efficient unit test case minimization.

Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A framework for describing and comparing courses and curricula.

Michela Pedroni, Manuel Oriol, Bertrand Meyer

Proceedings of the 12th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2007

Experimental assessment of random testing for object-oriented software.

Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Enabling Software Evolution Via AOP and Reflection.

Manuel Oriol, Walter Cazzola, Shigeru Chiba, Gunter Saake, Yvonne Coady, Stéphane Ducasse, Günter Kniesel

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

IDE-integrated Support for Schema Evolution in Object-Oriented Applications.

Marco Piccioni, Manuel Oriol, Bertrand Meyer

Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007

2006

Practical dynamic software updating for C.

Iulian Neamtiu, Michael W. Hicks, Gareth Paul Stoyle, Manuel Oriol

Proceedings of the ACM SIGPLAN 2006 Conference on Programming Language Design and Implementation, 2006

Object distance and its application to adaptive random testing of object-oriented programs.

Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer

Proceedings of the 1st International Workshop on Random Testing, 2006

Generic Component Lookup.

Till G. Bay, Patrick Th. Eugster, Manuel Oriol

Proceedings of the Component-Based Software Engineering, 9th International Symposium, 2006

2005

Tagged Sets: A Secure and Transparent Coordination Medium.

Manuel Oriol, Michael W. Hicks

Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004

An approach to the dynamic evolution of software systems.

Manuel Oriol

PhD thesis, 2004

Disconnected service architecture for unanticipated run-time evolution of code.

Manuel Oriol, Giovanna Di Marzo Serugendo

IEE Proc. Softw., 2004

Hot-Swapping Communication Models in P2P Networks.

Manuel Oriol, Michel Pawlak

Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

2003

Coordinating processes with secure spaces.

Jan Vitek, Ciarán Bryce, Manuel Oriol

Sci. Comput. Program., 2003

2002

Peer Services: From Description to Invocation.

Manuel Oriol

Proceedings of the Agents and Peer-to-Peer Computing, First International Workshop, 2002

1999

A Coordination Model Agents Based on Secure Spaces.

Ciarán Bryce, Manuel Oriol, Jan Vitek

Proceedings of the Coordination Languages and Models, Third International Conference, 1999