Manuel Oriol

Affiliations:
  • Constructor Institute, Schaffhausen, Switzerland
  • University of York, UK (former)


According to our database1, Manuel Oriol authored at least 75 papers between 1999 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
C4Q: A Chatbot for Quantum.
CoRR, 2024

2023
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites.
Proceedings of the Testing Software and Systems, 2023

Tribal Capstone Project Course.
Proceedings of the Frontiers in Software Engineering Education, 2023

Is ChatGPT 3 Safe for Students?
Proceedings of the Frontiers in Software Engineering Education, 2023

2022
Improving Counterexample Quality from Failed Program Verification.
Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops, 2022

2018
Bluetooth Low Energy Devices Security Testing Framework.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018

2017
Quality Attribute Trade-Offs in Industrial Software Systems.
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.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016

Who's On Board?: Probabilistic Membership for Real-Time Distributed Control Systems.
Proceedings of the 35th IEEE Symposium on Reliable Distributed Systems, 2016

2015
Subdomain-based test data generation.
J. Syst. Softw., 2015

FASA: A software architecture and runtime framework for flexible distributed automation systems.
J. Syst. Archit., 2015

Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island.
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.
Proceedings of the 2015 European Conference on Software Architecture Workshops, 2015

Real-time Multi-core Components for Cyber-physical Systems.
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.
Proceedings of the 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering, 2015

RADAR: Dynamic Analysis of Upgrades in C/C++ Software.
Proceedings of the Validation of Evolving Software, 2015

2014
Execution Time Analysis for Industrial Control Applications.
Proceedings of the Proceedings 11th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2014

Probability-Based Semantic Interpretation of Mutants.
Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

Disruption-free software updates in automation systems.
Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

Increasing efficiency of M-out-of-N redundancy.
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.
IEEE Trans. Software Eng., 2013

Efficient Subdomains for Random Testing.
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

The search for the laws of automatic random testing.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Fault-tolerant fault tolerance for component-based automation systems.
Proceedings of the 4th international ACM Sigsoft symposium on Architecting critical systems, 2013

Using Mutation Analysis to Evolve Subdomains for Random Testing.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Threat methodology for securing scalable video in the Cloud.
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.
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.
Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy.
Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012
Automatic Translation of C Source Code to Eiffel
CoRR, 2012

C to O-O Translation: Beyond the Easy Stuff.
Proceedings of the 19th Working Conference on Reverse Engineering, 2012

Dynamic Analysis of Upgrades in C/C++ Software.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012

FASA: a scalable software framework for distributed control systems.
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting Critical Systems, 2012

MESSI: Mutant Evaluation by Static Semantic Interpretation.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Random Testing: Evaluation of a Law Describing the Number of Faults Found.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Security risks and their management in cloud computing.
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.
Softw. Test. Verification Reliab., 2011

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

Automated Translation of Java Source Code to Eiffel.
Proceedings of the Objects, Models, Components, Patterns - 49th International Conference, 2011

Challenges to support automated random testing for dynamically typed languages.
Proceedings of the International Workshop on Smalltalk Technologies, 2011

Non-disruptive large-scale component updates for real-time controllers.
Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs.
Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010
Is Branch Coverage a Good Measure of Testing Effectiveness?
Proceedings of the Empirical Software Engineering and Verification, 2010

Satisfying Test Preconditions through Guided Object Selection.
Proceedings of the Third International Conference on Software Testing, 2010

YETI on the Cloud.
Proceedings of the Third International Conference on Software Testing, 2010

Testing .NET Code with YETI.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

2009
The Business of Selling Electronic Documents
CoRR, 2009

An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software.
Proceedings of the ASE 2009, 2009

On the Effectiveness of Test Extraction without Overhead.
Proceedings of the Second International Conference on Software Testing Verification and Validation, 2009

Dynamic Software Updates for Real-Time Systems.
Proceedings of the 2nd ACM Workshop on Hot Topics in Software Upgrades, 2009

2008
Automatic extraction of notions from course material.
Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education, 2008

Course management with TrucStudio.
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.
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

On the Predictability of Random Tests for Object-Oriented Software.
Proceedings of the First International Conference on Software Testing, 2008

ARTOO: adaptive random testing for object-oriented software.
Proceedings of the 30th International Conference on Software Engineering (ICSE 2008), 2008

Getting Farther on Software Evolution via AOP and Reflection.
Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

2007
Reflecting on an Existing Programming Language .
J. Object Technol., 2007

Contract driven development = test driven development - writing test cases.
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.
Proceedings of the 38th SIGCSE Technical Symposium on Computer Science Education, 2007

Primitives for the dynamic evolution of component-based applications.
Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

Efficient unit test case minimization.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

A framework for describing and comparing courses and curricula.
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.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2007

Enabling Software Evolution Via AOP and Reflection.
Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

IDE-integrated Support for Schema Evolution in Object-Oriented Applications.
Proceedings of the RAM-SE'07-ECOOP'07 Workshop on Reflection, 2007

2006
Practical dynamic software updating for C.
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.
Proceedings of the 1st International Workshop on Random Testing, 2006

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

2005
Tagged Sets: A Secure and Transparent Coordination Medium.
Proceedings of the Coordination Models and Languages, 7th International Conference, 2005

2004
An approach to the dynamic evolution of software systems.
PhD thesis, 2004

Disconnected service architecture for unanticipated run-time evolution of code.
IEE Proc. Softw., 2004

Hot-Swapping Communication Models in P2P Networks.
Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS-37 2004), 2004

2003
Coordinating processes with secure spaces.
Sci. Comput. Program., 2003

2002
Peer Services: From Description to Invocation.
Proceedings of the Agents and Peer-to-Peer Computing, First International Workshop, 2002

1999
A Coordination Model Agents Based on Secure Spaces.
Proceedings of the Coordination Languages and Models, Third International Conference, 1999


  Loading...