Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manuel Oriol
@article{DBLP:journals/corr/abs-2402-01738,
author = {Yaiza Aragon{\'{e}}s{-}Soria and
Manuel Oriol},
title = {{C4Q:} {A} Chatbot for Quantum},
journal = {CoRR},
volume = {abs/2402.01738},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.01738},
doi = {10.48550/ARXIV.2402.01738},
eprinttype = {arXiv},
eprint = {2402.01738},
timestamp = {Fri, 09 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-01738.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fisee/Oriol23,
author = {Manuel Oriol},
editor = {Alfredo Capozucca and
Sophie Ebersold and
Jean{-}Michel Bruel and
Bertrand Meyer},
title = {Tribal Capstone Project Course},
booktitle = {Frontiers in Software Engineering Education - Second International
Workshop, {FISEE} 2023, Villebrumier, France, January 23-25, 2023,
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {14387},
pages = {32--41},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48639-5\_3},
doi = {10.1007/978-3-031-48639-5\_3},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fisee/Oriol23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fisee/KotovichO23,
author = {Julia Kotovich and
Manuel Oriol},
editor = {Alfredo Capozucca and
Sophie Ebersold and
Jean{-}Michel Bruel and
Bertrand Meyer},
title = {Is ChatGPT 3 Safe for Students?},
booktitle = {Frontiers in Software Engineering Education - Second International
Workshop, {FISEE} 2023, Villebrumier, France, January 23-25, 2023,
Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {14387},
pages = {100--107},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-48639-5\_8},
doi = {10.1007/978-3-031-48639-5\_8},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fisee/KotovichO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/HuangMO23,
author = {Li Huang and
Bertrand Meyer and
Manuel Oriol},
editor = {Silvia Bonfanti and
Angelo Gargantini and
Paolo Salvaneschi},
title = {Seeding Contradiction: {A} Fast Method for Generating Full-Coverage
Test Suites},
booktitle = {Testing Software and Systems - 35th {IFIP} {WG} 6.1 International
Conference, {ICTSS} 2023, Bergamo, Italy, September 18-20, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14131},
pages = {52--70},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43240-8\_4},
doi = {10.1007/978-3-031-43240-8\_4},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pts/HuangMO23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-04232,
author = {Li Huang and
Bertrand Meyer and
Manuel Oriol},
title = {Seeding Contradiction: a fast method for generating full-coverage
test suites},
journal = {CoRR},
volume = {abs/2309.04232},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.04232},
doi = {10.48550/ARXIV.2309.04232},
eprinttype = {arXiv},
eprint = {2309.04232},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-04232.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/Huang0O22,
author = {Li Huang and
Bertrand Meyer and
Manuel Oriol},
title = {Improving Counterexample Quality from Failed Program Verification},
booktitle = {{IEEE} International Symposium on Software Reliability Engineering
Workshops, {ISSRE} 2022 - Workshops, Charlotte, NC, USA, October 31
- Nov. 3, 2022},
pages = {268--273},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/ISSREW55968.2022.00078},
doi = {10.1109/ISSREW55968.2022.00078},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/Huang0O22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-10492,
author = {Li Huang and
Bertrand Meyer and
Manuel Oriol},
title = {Improving Counterexample Quality from Failed Program Verification},
journal = {CoRR},
volume = {abs/2208.10492},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.10492},
doi = {10.48550/ARXIV.2208.10492},
eprinttype = {arXiv},
eprint = {2208.10492},
timestamp = {Thu, 16 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-10492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/RayROMO18,
author = {Apala Ray and
Vipin Raj and
Manuel Oriol and
Aurelien Monot and
Sebastian Obermeier},
title = {Bluetooth Low Energy Devices Security Testing Framework},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {384--393},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.ieeecomputersociety.org/10.1109/ICST.2018.00045},
doi = {10.1109/ICST.2018.00045},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RayROMO18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsa/WahlerEMOS17,
author = {Michael Wahler and
Raphael Eidenbenz and
Aurelien Monot and
Manuel Oriol and
Thanikesavan Sivanthi},
title = {Quality Attribute Trade-Offs in Industrial Software Systems},
booktitle = {2017 {IEEE} International Conference on Software Architecture Workshops,
{ICSA} Workshops 2017, Gothenburg, Sweden, April 5-7, 2017},
pages = {251--254},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSAW.2017.10},
doi = {10.1109/ICSAW.2017.10},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsa/WahlerEMOS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/GuerraouiKOP16,
author = {Rachid Guerraoui and
David Kozhaya and
Manuel Oriol and
Yvonne{-}Anne Pignolet},
title = {Who's On Board?: Probabilistic Membership for Real-Time Distributed
Control Systems},
booktitle = {35th {IEEE} Symposium on Reliable Distributed Systems, {SRDS} 2016,
Budapest, Hungary, September 26-29, 2016},
pages = {167--176},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/SRDS.2016.029},
doi = {10.1109/SRDS.2016.029},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/GuerraouiKOP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/MonotOSW16,
author = {Aurelien Monot and
Manuel Oriol and
Camille Schneider and
Michael Wahler},
title = {Modern Software Architecture for Embedded Real-Time Devices: High
Value, Little Overhead},
booktitle = {13th Working {IEEE/IFIP} Conference on Software Architecture, {WICSA}
2016, Venice, Italy, April 5-8, 2016},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/WICSA.2016.11},
doi = {10.1109/WICSA.2016.11},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wicsa/MonotOSW16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/WahlerGKO15,
author = {Michael Wahler and
Thomas Gamer and
Atul Kumar and
Manuel Oriol},
title = {{FASA:} {A} software architecture and runtime framework for flexible
distributed automation systems},
journal = {J. Syst. Archit.},
volume = {61},
number = {2},
pages = {82--111},
year = {2015},
url = {https://doi.org/10.1016/j.sysarc.2015.01.002},
doi = {10.1016/J.SYSARC.2015.01.002},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/WahlerGKO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/PatrickAOC15,
author = {Matthew Patrick and
Robert Alexander and
Manuel Oriol and
John A. Clark},
title = {Subdomain-based test data generation},
journal = {J. Syst. Softw.},
volume = {103},
pages = {328--342},
year = {2015},
url = {https://doi.org/10.1016/j.jss.2014.11.033},
doi = {10.1016/J.JSS.2014.11.033},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/PatrickAOC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/WahlerOM15,
author = {Michael Wahler and
Manuel Oriol and
Aurelien Monot},
editor = {Philippe Kruchten and
Steffen Becker and
Jean{-}Guy Schneider},
title = {Real-time Multi-core Components for Cyber-physical Systems},
booktitle = {Proceedings of the 18th International {ACM} {SIGSOFT} Symposium on
Component-Based Software Engineering, {CBSE} 2015, Montreal, QC, Canada,
May 4-8, 2015},
pages = {37--42},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737166.2737176},
doi = {10.1145/2737166.2737176},
timestamp = {Thu, 11 Mar 2021 17:04:51 +0100},
biburl = {https://dblp.org/rec/conf/cbse/WahlerOM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/NandiMO15,
author = {Chandrakana Nandi and
Aurelien Monot and
Manuel Oriol},
editor = {Philippe Kruchten and
Steffen Becker and
Jean{-}Guy Schneider},
title = {Stochastic Contracts for Runtime Checking of Component-based Real-time
Systems},
booktitle = {Proceedings of the 18th International {ACM} {SIGSOFT} Symposium on
Component-Based Software Engineering, {CBSE} 2015, Montreal, QC, Canada,
May 4-8, 2015},
pages = {111--116},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2737166.2737173},
doi = {10.1145/2737166.2737173},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbse/NandiMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsa/OriolCW15,
author = {Manuel Oriol and
Jan Carlson and
Michael Wahler},
editor = {Ivica Crnkovic},
title = {{SANCS} 2015: 1st International Workshop on Software Architectures
for Next-generation Cyber-physical Systems},
booktitle = {Proceedings of the 2015 European Conference on Software Architecture
Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015},
pages = {14:1},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2797433.2797447},
doi = {10.1145/2797433.2797447},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecsa/OriolCW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Oriol15,
author = {Manuel Oriol},
title = {Testing Legacy Embedded Code: Landing on a Software Engineering Desert
Island},
booktitle = {8th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2015, Graz, Austria, April 13-17, 2015},
pages = {1--2},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICST.2015.7102634},
doi = {10.1109/ICST.2015.7102634},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Oriol15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/15/PastoreMGOW15,
author = {Fabrizio Pastore and
Leonardo Mariani and
Alberto Goffi and
Manuel Oriol and
Michael Wahler},
editor = {Hana Chockler and
Daniel Kroening and
Leonardo Mariani and
Natasha Sharygina},
title = {{RADAR:} Dynamic Analysis of Upgrades in {C/C++} Software},
booktitle = {Validation of Evolving Software},
pages = {85--105},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-10623-6\_8},
doi = {10.1007/978-3-319-10623-6\_8},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/15/PastoreMGOW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/NandiMO15,
author = {Chandrakana Nandi and
Aurelien Monot and
Manuel Oriol},
title = {Stochastic Contracts for Runtime Checking of Component-based Real-time
Systems},
journal = {CoRR},
volume = {abs/1501.02336},
year = {2015},
url = {http://arxiv.org/abs/1501.02336},
eprinttype = {arXiv},
eprint = {1501.02336},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NandiMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/GamerOW14,
author = {Thomas Gamer and
Manuel Oriol and
Michael Wahler},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Increasing efficiency of M-out-of-N redundancy},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005105},
doi = {10.1109/ETFA.2014.7005105},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/GamerOW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/WahlerO14,
author = {Michael Wahler and
Manuel Oriol},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {Disruption-free software updates in automation systems},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005075},
doi = {10.1109/ETFA.2014.7005075},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etfa/WahlerO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PatrickAOC14,
author = {Matthew Patrick and
Robert Alexander and
Manuel Oriol and
John A. Clark},
title = {Probability-Based Semantic Interpretation of Mutants},
booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April
4, 2014, Cleveland, Ohio, {USA}},
pages = {186--195},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/ICSTW.2014.18},
doi = {10.1109/ICSTW.2014.18},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PatrickAOC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/StattelmannOG14,
author = {Stefan Stattelmann and
Manuel Oriol and
Thomas Gamer},
editor = {Barbora Buhnova and
Lucia Happe and
Jan Kofron},
title = {Execution Time Analysis for Industrial Control Applications},
booktitle = {Proceedings 11th International Workshop on Formal Engineering approaches
to Software Components and Architectures, {FESCA} 2014, Grenoble,
France, 12th April 2014},
series = {{EPTCS}},
volume = {147},
pages = {16--31},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.147.2},
doi = {10.4204/EPTCS.147.2},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StattelmannOG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/PiccioniOM13,
author = {Marco Piccioni and
Manuel Oriol and
Bertrand Meyer},
title = {Class Schema Evolution for Persistent Object-Oriented Software: Model,
Empirical Study, and Automated Support},
journal = {{IEEE} Trans. Software Eng.},
volume = {39},
number = {2},
pages = {184--196},
year = {2013},
url = {https://doi.org/10.1109/TSE.2011.123},
doi = {10.1109/TSE.2011.123},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/PiccioniOM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/PatrickAOC13,
author = {Matthew Patrick and
Robert Alexander and
Manuel Oriol and
John A. Clark},
editor = {Pornsiri Muenchaisri and
Gregg Rothermel},
title = {Selecting Highly Efficient Sets of Subdomains for Mutation Adequacy},
booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi,
Bangkok, Thailand, December 2-5, 2013 - Volume 1},
pages = {91--98},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/APSEC.2013.23},
doi = {10.1109/APSEC.2013.23},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/PatrickAOC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csmr/ChocklerDLFHMMORSST13,
author = {Hana Chockler and
Giovanni Denaro and
Meijia Ling and
Grigory Fedyukovich and
Antti Eero Johannes Hyv{\"{a}}rinen and
Leonardo Mariani and
Ali Muhammad and
Manuel Oriol and
Ajitha Rajan and
Ondrej Sery and
Natasha Sharygina and
Michael Tautschnig},
editor = {Anthony Cleve and
Filippo Ricca and
Maura Cerioli},
title = {{PINCETTE} - Validating Changes and Upgrades in Networked Software},
booktitle = {17th European Conference on Software Maintenance and Reengineering,
{CSMR} 2013, Genova, Italy, March 5-8, 2013},
pages = {461--464},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/CSMR.2013.72},
doi = {10.1109/CSMR.2013.72},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csmr/ChocklerDLFHMMORSST13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/WahlerOFM13,
author = {Michael Wahler and
Manuel Oriol and
Ettore Ferranti and
Aurelien Monot},
editor = {Carla Seatzu},
title = {Reconciling flexibility and robustness in industrial automation systems,
and living happily ever after},
booktitle = {Proceedings of 2013 {IEEE} 18th Conference on Emerging Technologies
{\&} Factory Automation, {ETFA} 2013, Cagliari, Italy, September
10-13, 2013},
pages = {1--8},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ETFA.2013.6647998},
doi = {10.1109/ETFA.2013.6647998},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/WahlerOFM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icitst/KhanOK13,
author = {Afnan Ullah Khan and
Manuel Oriol and
Mariam Kiran},
title = {Threat methodology for securing scalable video in the Cloud},
booktitle = {8th International Conference for Internet Technology and Secured Transactions,
{ICITST} 2013, London, United Kingdom, December 9-12, 2013},
pages = {428--436},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ICITST.2013.6750237},
doi = {10.1109/ICITST.2013.6750237},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/icitst/KhanOK13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PatrickAOC13,
author = {Matthew Patrick and
Robert Alexander and
Manuel Oriol and
John A. Clark},
title = {Using Mutation Analysis to Evolve Subdomains for Random Testing},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {53--62},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.14},
doi = {10.1109/ICSTW.2013.14},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PatrickAOC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isarcs/OriolGGWF13,
author = {Manuel Oriol and
Thomas Gamer and
Thijmen de Gooijer and
Michael Wahler and
Ettore Ferranti},
editor = {Philippe Kruchten and
Sam Malek},
title = {Fault-tolerant fault tolerance for component-based automation systems},
booktitle = {Proceedings of the 4th international {ACM} Sigsoft symposium on Architecting
critical systems, {ISARCS} 2013, Vancouver, BC, Canada, June 17-21,
2013},
pages = {49--58},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2465470.2465471},
doi = {10.1145/2465470.2465471},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isarcs/OriolGGWF13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/FuriaMOTW13,
author = {Carlo A. Furia and
Bertrand Meyer and
Manuel Oriol and
Andrey Tikhomirov and
Yi Wei},
editor = {Sung Y. Shin and
Jos{\'{e}} Carlos Maldonado},
title = {The search for the laws of automatic random testing},
booktitle = {Proceedings of the 28th Annual {ACM} Symposium on Applied Computing,
{SAC} '13, Coimbra, Portugal, March 18-22, 2013},
pages = {1211--1216},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2480362.2480590},
doi = {10.1145/2480362.2480590},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/FuriaMOTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/PatrickAOC13,
author = {Matthew Patrick and
Robert Alexander and
Manuel Oriol and
John A. Clark},
editor = {G{\"{u}}nther Ruhe and
Yuanyuan Zhang},
title = {Efficient Subdomains for Random Testing},
booktitle = {Search Based Software Engineering - 5th International Symposium, {SSBSE}
2013, St. Petersburg, Russia, August 24-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8084},
pages = {251--256},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39742-4\_20},
doi = {10.1007/978-3-642-39742-4\_20},
timestamp = {Thu, 22 Aug 2019 08:46:38 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/PatrickAOC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cloudcom/KhanOKJD12,
author = {Afnan Ullah Khan and
Manuel Oriol and
Mariam Kiran and
Ming Jiang and
Karim Djemame},
title = {Security risks and their management in cloud computing},
booktitle = {4th {IEEE} International Conference on Cloud Computing Technology
and Science Proceedings, CloudCom 2012, Taipei, Taiwan, December 3-6,
2012},
pages = {121--128},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CloudCom.2012.6427574},
doi = {10.1109/CLOUDCOM.2012.6427574},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cloudcom/KhanOKJD12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/Oriol12,
author = {Manuel Oriol},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {Random Testing: Evaluation of a Law Describing the Number of Faults
Found},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {201--210},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.100},
doi = {10.1109/ICST.2012.100},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/Oriol12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/PatrickOC12,
author = {Matthew Patrick and
Manuel Oriol and
John A. Clark},
editor = {Giuliano Antoniol and
Antonia Bertolino and
Yvan Labiche},
title = {{MESSI:} Mutant Evaluation by Static Semantic Interpretation},
booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012},
pages = {711--719},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICST.2012.161},
doi = {10.1109/ICST.2012.161},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/PatrickOC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isarcs/OriolWSSVKK12,
author = {Manuel Oriol and
Michael Wahler and
Robin Steiger and
Sascha Stoeter and
Egemen Vardar and
Heiko Koziolek and
Atul Kumar},
editor = {Vincenzo Grassi and
Raffaela Mirandola and
Jorge Cu{\'{e}}llar and
Javier L{\'{o}}pez},
title = {{FASA:} a scalable software framework for distributed control systems},
booktitle = {Proceedings of the 3rd international {ACM} {SIGSOFT} symposium on
Architecting Critical Systems, {ISARCS} 2012, part of Comparch '12
Federated Events on Component-Based Software Engineering and Software
Architecture, Bertinoro, Italy, June 25-28, 2012},
pages = {51--60},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2304656.2304664},
doi = {10.1145/2304656.2304664},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isarcs/OriolWSSVKK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PastoreMGOW12,
author = {Fabrizio Pastore and
Leonardo Mariani and
Alberto Goffi and
Manuel Oriol and
Michael Wahler},
title = {Dynamic Analysis of Upgrades in {C/C++} Software},
booktitle = {23rd {IEEE} International Symposium on Software Reliability Engineering,
{ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
pages = {91--100},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISSRE.2012.9},
doi = {10.1109/ISSRE.2012.9},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/PastoreMGOW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wcre/TrudelFNMO12,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer and
Manuel Oriol},
title = {C to {O-O} Translation: Beyond the Easy Stuff},
booktitle = {19th Working Conference on Reverse Engineering, {WCRE} 2012, Kingston,
ON, Canada, October 15-18, 2012},
pages = {19--28},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/WCRE.2012.12},
doi = {10.1109/WCRE.2012.12},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wcre/TrudelFNMO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2012ramse,
editor = {Walter Cazzola and
Shigeru Chiba and
Manuel Oriol and
Gunter Saake},
title = {Proceedings of the 9th {ECOOP} Workshop on Reflection, AOP, and Meta-Data
for Software Evolution, {RAM-SE} 2012, Beijing, China, June 13, 2012},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2237887},
doi = {10.1145/2237887},
isbn = {978-1-4503-1277-6},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2012ramse.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1206-5648,
author = {Marco Trudel and
Carlo A. Furia and
Martin Nordio and
Bertrand Meyer and
Manuel Oriol},
title = {Automatic Translation of {C} Source Code to Eiffel},
journal = {CoRR},
volume = {abs/1206.5648},
year = {2012},
url = {http://arxiv.org/abs/1206.5648},
eprinttype = {arXiv},
eprint = {1206.5648},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1206-5648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1211-3257,
author = {Carlo A. Furia and
Bertrand Meyer and
Manuel Oriol and
Andrey Tikhomirov and
Yi Wei},
title = {The Search for the Laws of Automatic Random Testing},
journal = {CoRR},
volume = {abs/1211.3257},
year = {2012},
url = {http://arxiv.org/abs/1211.3257},
eprinttype = {arXiv},
eprint = {1211.3257},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1211-3257.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/CiupaPOLM11,
author = {Ilinca Ciupa and
Alexander Pretschner and
Manuel Oriol and
Andreas Leitner and
Bertrand Meyer},
title = {On the number and nature of faults found by random testing},
journal = {Softw. Test. Verification Reliab.},
volume = {21},
number = {1},
pages = {3--28},
year = {2011},
url = {https://doi.org/10.1002/stvr.415},
doi = {10.1002/STVR.415},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/CiupaPOLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/SilvaWMO11,
author = {Lucas Serpa Silva and
Yi Wei and
Bertrand Meyer and
Manuel Oriol},
editor = {Tran Dan Thu and
Karl R. P. H. Leung},
title = {Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs},
booktitle = {18th Asia Pacific Software Engineering Conference, {APSEC} 2011, Ho
Chi Minh, Vietnam, December 5-8, 2011},
pages = {290--297},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/APSEC.2011.34},
doi = {10.1109/APSEC.2011.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/SilvaWMO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/WahlerRKO11,
author = {Michael Wahler and
Stefan Richter and
Sumit Kumar and
Manuel Oriol},
editor = {Serge Abiteboul and
Klemens B{\"{o}}hm and
Christoph Koch and
Kian{-}Lee Tan},
title = {Non-disruptive large-scale component updates for real-time controllers},
booktitle = {Workshops Proceedings of the 27th International Conference on Data
Engineering, {ICDE} 2011, April 11-16, 2011, Hannover, Germany},
pages = {174--178},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ICDEW.2011.5767631},
doi = {10.1109/ICDEW.2011.5767631},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/WahlerRKO11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwst/DucasseOB11,
author = {St{\'{e}}phane Ducasse and
Manuel Oriol and
Alexandre Bergel},
editor = {Lo{\"{\i}}c Lagadec and
Alain Plantec},
title = {Challenges to support automated random testing for dynamically typed
languages},
booktitle = {Proceedings of the International Workshop on Smalltalk Technologies,
{IWST} 2011, Edinburgh, United Kingdom, August 23, 2011},
pages = {9:1--9:6},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2166929.2166938},
doi = {10.1145/2166929.2166938},
timestamp = {Tue, 06 Nov 2018 16:58:58 +0100},
biburl = {https://dblp.org/rec/conf/iwst/DucasseOB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tools/TrudelOFN11,
author = {Marco Trudel and
Manuel Oriol and
Carlo A. Furia and
Martin Nordio},
editor = {Judith Bishop and
Antonio Vallecillo},
title = {Automated Translation of Java Source Code to Eiffel},
booktitle = {Objects, Models, Components, Patterns - 49th International Conference,
{TOOLS} 2011, Zurich, Switzerland, June 28-30, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6705},
pages = {20--35},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21952-8\_4},
doi = {10.1007/978-3-642-21952-8\_4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tools/TrudelOFN11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-0711,
author = {Marco Piccioni and
Manuel Oriol and
Bertrand Meyer},
title = {Schema Evolution for Persistent Object-Oriented Software: Model, Empirical
Study, and Automated Support},
journal = {CoRR},
volume = {abs/1103.0711},
year = {2011},
url = {http://arxiv.org/abs/1103.0711},
eprinttype = {arXiv},
eprint = {1103.0711},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-0711.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/OriolT10,
author = {Manuel Oriol and
Sotirios Tassis},
editor = {Radu Calinescu and
Richard F. Paige and
Marta Z. Kwiatkowska},
title = {Testing .NET Code with {YETI}},
booktitle = {15th {IEEE} International Conference on Engineering of Complex Computer
Systems, {ICECCS} 2010, Oxford, United Kingdom, 22-26 March 2010},
pages = {264--265},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICECCS.2010.58},
doi = {10.1109/ICECCS.2010.58},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/OriolT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/WeiGMO10,
author = {Yi Wei and
Serge Gebhardt and
Bertrand Meyer and
Manuel Oriol},
title = {Satisfying Test Preconditions through Guided Object Selection},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
pages = {303--312},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICST.2010.34},
doi = {10.1109/ICST.2010.34},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/WeiGMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/OriolU10,
author = {Manuel Oriol and
Faheem Ullah},
title = {{YETI} on the Cloud},
booktitle = {Third International Conference on Software Testing, Verification and
Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
Proceedings},
pages = {434--437},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSTW.2010.68},
doi = {10.1109/ICSTW.2010.68},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/OriolU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/laser/WeiMO10,
author = {Yi Wei and
Bertrand Meyer and
Manuel Oriol},
editor = {Bertrand Meyer and
Martin Nordio},
title = {Is Branch Coverage a Good Measure of Testing Effectiveness?},
booktitle = {Empirical Software Engineering and Verification - International Summer
Schools, {LASER} 2008-2010, Elba Island, Italy, Revised Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {7007},
pages = {194--212},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-25231-0\_5},
doi = {10.1007/978-3-642-25231-0\_5},
timestamp = {Wed, 02 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/laser/WeiMO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotswup/WahlerRO09,
author = {Michael Wahler and
Stefan Richter and
Manuel Oriol},
editor = {Tudor Dumitras and
Iulian Neamtiu and
Eli Tilevich},
title = {Dynamic Software Updates for Real-Time Systems},
booktitle = {Proceedings of the 2nd {ACM} Workshop on Hot Topics in Software Upgrades,
HotSWUp 2009, Orlando, FL, USA, October 25, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1656437.1656440},
doi = {10.1145/1656437.1656440},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotswup/WahlerRO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/LeitnerPMMO09,
author = {Andreas Leitner and
Alexander Pretschner and
Stefan Mori and
Bertrand Meyer and
Manuel Oriol},
title = {On the Effectiveness of Test Extraction without Overhead},
booktitle = {Second International Conference on Software Testing Verification and
Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
pages = {416--425},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ICST.2009.30},
doi = {10.1109/ICST.2009.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/LeitnerPMMO09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PiccioniOMS09,
author = {Marco Piccioni and
Manuel Oriol and
Bertrand Meyer and
Teseo Schneider},
title = {An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented
Software},
booktitle = {{ASE} 2009, 24th {IEEE/ACM} International Conference on Automated
Software Engineering, Auckland, New Zealand, November 16-20, 2009},
pages = {650--654},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/ASE.2009.100},
doi = {10.1109/ASE.2009.100},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PiccioniOMS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2009ramse,
editor = {Manuel Oriol and
Walter Cazzola and
Shigeru Chiba and
Gunter Saake},
title = {Proceedings of the Workshop on {AOP} and Meta-Data for Software Evolution,
{RAM-SE} 2009, Genova, Italy, July 7, 2009},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1562860},
doi = {10.1145/1562860},
isbn = {978-1-60558-548-2},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2009ramse.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tools/47-2009,
editor = {Manuel Oriol and
Bertrand Meyer},
title = {Objects, Components, Models and Patterns, 47th International Conference,
{TOOLS} {EUROPE} 2009, Zurich, Switzerland, June 29-July 3, 2009.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {33},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02571-6},
doi = {10.1007/978-3-642-02571-6},
isbn = {978-3-642-02570-9},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tools/47-2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-3243,
author = {Manuel Oriol},
title = {The Business of Selling Electronic Documents},
journal = {CoRR},
volume = {abs/0904.3243},
year = {2009},
url = {http://arxiv.org/abs/0904.3243},
eprinttype = {arXiv},
eprint = {0904.3243},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0904-3243.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/OriolCCS08,
author = {Manuel Oriol and
Walter Cazzola and
Shigeru Chiba and
Gunter Saake},
editor = {Patrick Eugster},
title = {Getting Farther on Software Evolution via {AOP} and Reflection},
booktitle = {Object-Oriented Technology. {ECOOP} 2008 Workshop Reader, {ECOOP}
2008 Workshops, Paphos, Cyprus, July 7-11, 2008, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {5475},
pages = {63--69},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-02047-6\_7},
doi = {10.1007/978-3-642-02047-6\_7},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/OriolCCS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CiupaLOM08,
author = {Ilinca Ciupa and
Andreas Leitner and
Manuel Oriol and
Bertrand Meyer},
editor = {Wilhelm Sch{\"{a}}fer and
Matthew B. Dwyer and
Volker Gruhn},
title = {{ARTOO:} adaptive random testing for object-oriented software},
booktitle = {30th International Conference on Software Engineering {(ICSE} 2008),
Leipzig, Germany, May 10-18, 2008},
pages = {71--80},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1368088.1368099},
doi = {10.1145/1368088.1368099},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CiupaLOM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/CiupaPLOM08,
author = {Ilinca Ciupa and
Alexander Pretschner and
Andreas Leitner and
Manuel Oriol and
Bertrand Meyer},
title = {On the Predictability of Random Tests for Object-Oriented Software},
booktitle = {First International Conference on Software Testing, Verification,
and Validation, {ICST} 2008, Lillehammer, Norway, April 9-11, 2008},
pages = {72--81},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICST.2008.20},
doi = {10.1109/ICST.2008.20},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/CiupaPLOM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CiupaMOP08,
author = {Ilinca Ciupa and
Bertrand Meyer and
Manuel Oriol and
Alexander Pretschner},
title = {Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports},
booktitle = {19th International Symposium on Software Reliability Engineering {(ISSRE}
2008), 11-14 November 2008, Seattle/Redmond, WA, {USA}},
pages = {157--166},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ISSRE.2008.18},
doi = {10.1109/ISSRE.2008.18},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/CiupaMOP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PedroniOMAA08,
author = {Michela Pedroni and
Manuel Oriol and
Bertrand Meyer and
Enrico Albonico and
Lukas Angerer},
editor = {June Amillo and
Cary Laxer and
Ernestina Menasalvas Ruiz and
Alison Young},
title = {Course management with TrucStudio},
booktitle = {Proceedings of the 13th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2008, Madrid, Spain,
June 30 - July 2, 2008},
pages = {260--264},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1384271.1384341},
doi = {10.1145/1384271.1384341},
timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PedroniOMAA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PedroniOMA08,
author = {Michela Pedroni and
Manuel Oriol and
Bertrand Meyer and
Lukas Angerer},
editor = {J. D. Dougherty and
Susan H. Rodger and
Sue Fitzgerald and
Mark Guzdial},
title = {Automatic extraction of notions from course material},
booktitle = {Proceedings of the 39th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2008, Portland, OR, USA, March 12-15, 2008},
pages = {251--255},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1352135.1352225},
doi = {10.1145/1352135.1352225},
timestamp = {Wed, 10 Mar 2021 13:17:16 +0100},
biburl = {https://dblp.org/rec/conf/sigcse/PedroniOMA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2008ramse,
editor = {Walter Cazzola and
Shigeru Chiba and
Manuel Oriol and
Gunter Saake},
title = {RAM-SE'08-ECOOP'08 Workshop on Reflection, AOP, and Meta-Data for
Software Evolution, Proceedings, Paphos, Cyprus, July 7, 2008},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
Magdeburg},
year = {2008},
timestamp = {Fri, 16 Jan 2009 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/2008ramse.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jot/LeitnerEOC07,
author = {Andreas Leitner and
Patrick Th. Eugster and
Manuel Oriol and
Ilinca Ciupa},
title = {Reflecting on an Existing Programming Language},
journal = {J. Object Technol.},
volume = {6},
number = {9},
pages = {319--339},
year = {2007},
url = {https://doi.org/10.5381/jot.2007.6.9.a16},
doi = {10.5381/JOT.2007.6.9.A16},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jot/LeitnerEOC07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/PiccioniOM07,
author = {Marco Piccioni and
Manuel Oriol and
Bertrand Meyer},
editor = {Walter Cazzola and
Shigeru Chiba and
Yvonne Coady and
St{\'{e}}phane Ducasse and
G{\"{u}}nter Kniesel and
Manuel Oriol and
Gunter Saake},
title = {IDE-integrated Support for Schema Evolution in Object-Oriented Applications},
booktitle = {RAM-SE'07-ECOOP'07 Workshop on Reflection, AOP, and Meta-Data for
Software Evolution, Proceedings, Berlin, Germany, July 31, 2007},
pages = {27--36},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
Magdeburg},
year = {2007},
timestamp = {Mon, 30 Oct 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecoop/PiccioniOM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/OriolCCSCDK07,
author = {Manuel Oriol and
Walter Cazzola and
Shigeru Chiba and
Gunter Saake and
Yvonne Coady and
St{\'{e}}phane Ducasse and
G{\"{u}}nter Kniesel},
editor = {Michael Cebulla},
title = {Enabling Software Evolution Via {AOP} and Reflection},
booktitle = {Object-Oriented Technology. {ECOOP} 2007 Workshop Reader, Berlin,
Germany, July 30-31, 2007, Final Reports},
series = {Lecture Notes in Computer Science},
volume = {4906},
pages = {91--98},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78195-0\_9},
doi = {10.1007/978-3-540-78195-0\_9},
timestamp = {Sun, 02 Jun 2019 21:21:54 +0200},
biburl = {https://dblp.org/rec/conf/ecoopw/OriolCCSCDK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CiupaLOM07,
author = {Ilinca Ciupa and
Andreas Leitner and
Manuel Oriol and
Bertrand Meyer},
editor = {David S. Rosenblum and
Sebastian G. Elbaum},
title = {Experimental assessment of random testing for object-oriented software},
booktitle = {Proceedings of the {ACM/SIGSOFT} International Symposium on Software
Testing and Analysis, {ISSTA} 2007, London, UK, July 9-12, 2007},
pages = {84--94},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1273463.1273476},
doi = {10.1145/1273463.1273476},
timestamp = {Tue, 06 Nov 2018 16:57:30 +0100},
biburl = {https://dblp.org/rec/conf/issta/CiupaLOM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iticse/PedroniOM07,
author = {Michela Pedroni and
Manuel Oriol and
Bertrand Meyer},
editor = {Janet M. Hughes and
D. Ramanee Peiris and
Paul T. Tymann},
title = {A framework for describing and comparing courses and curricula},
booktitle = {Proceedings of the 12th Annual {SIGCSE} Conference on Innovation and
Technology in Computer Science Education, ITiCSE 2007, Dundee, Scotland,
UK, June 25-27, 2007},
pages = {131--135},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1268784.1268824},
doi = {10.1145/1268784.1268824},
timestamp = {Tue, 09 Mar 2021 15:32:11 +0100},
biburl = {https://dblp.org/rec/conf/iticse/PedroniOM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/LeitnerOZCM07,
author = {Andreas Leitner and
Manuel Oriol and
Andreas Zeller and
Ilinca Ciupa and
Bertrand Meyer},
editor = {R. E. Kurt Stirewalt and
Alexander Egyed and
Bernd Fischer},
title = {Efficient unit test case minimization},
booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}},
pages = {417--420},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1321631.1321698},
doi = {10.1145/1321631.1321698},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/LeitnerOZCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/Oriol07,
author = {Manuel Oriol},
editor = {Yookun Cho and
Roger L. Wainwright and
Hisham Haddad and
Sung Y. Shin and
Yong Wan Koo},
title = {Primitives for the dynamic evolution of component-based applications},
booktitle = {Proceedings of the 2007 {ACM} Symposium on Applied Computing (SAC),
Seoul, Korea, March 11-15, 2007},
pages = {1122--1123},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244002.1244246},
doi = {10.1145/1244002.1244246},
timestamp = {Sun, 02 Jun 2019 21:18:37 +0200},
biburl = {https://dblp.org/rec/conf/sac/Oriol07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/PedroniBOP07,
author = {Michela Pedroni and
Till G. Bay and
Manuel Oriol and
Andreas Pedroni},
editor = {Ingrid Russell and
Susan M. Haller and
J. D. Dougherty and
Susan H. Rodger},
title = {Open source projects in programming courses},
booktitle = {Proceedings of the 38th {SIGCSE} Technical Symposium on Computer Science
Education, {SIGCSE} 2007, Covington, Kentucky, USA, March 7-11, 2007},
pages = {454--458},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1227310.1227465},
doi = {10.1145/1227310.1227465},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/PedroniBOP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/LeitnerCOMF07,
author = {Andreas Leitner and
Ilinca Ciupa and
Manuel Oriol and
Bertrand Meyer and
Arno Fiva},
editor = {Ivica Crnkovic and
Antonia Bertolino},
title = {Contract driven development = test driven development - writing test
cases},
booktitle = {Proceedings of the 6th joint meeting of the European Software Engineering
Conference and the {ACM} {SIGSOFT} International Symposium on Foundations
of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7,
2007},
pages = {425--434},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1287624.1287685},
doi = {10.1145/1287624.1287685},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/sigsoft/LeitnerCOMF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2007ramse,
editor = {Walter Cazzola and
Shigeru Chiba and
Yvonne Coady and
St{\'{e}}phane Ducasse and
G{\"{u}}nter Kniesel and
Manuel Oriol and
Gunter Saake},
title = {RAM-SE'07-ECOOP'07 Workshop on Reflection, AOP, and Meta-Data for
Software Evolution, Proceedings, Berlin, Germany, July 31, 2007},
publisher = {Fakult{\"{a}}t f{\"{u}}r Informatik, Universit{\"{a}}t
Magdeburg},
year = {2007},
timestamp = {Fri, 16 Jul 2010 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecoop/2007ramse.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbse/BayEO06,
author = {Till G. Bay and
Patrick Th. Eugster and
Manuel Oriol},
editor = {Ian Gorton and
George T. Heineman and
Ivica Crnkovic and
Heinz W. Schmidt and
Judith A. Stafford and
Clemens A. Szyperski and
Kurt C. Wallnau},
title = {Generic Component Lookup},
booktitle = {Component-Based Software Engineering, 9th International Symposium,
{CBSE} 2006, V{\"{a}}ster{\aa}s, Sweden, June 29 - July 1, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4063},
pages = {182--197},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11783565\_13},
doi = {10.1007/11783565\_13},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/cbse/BayEO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/CiupaLOM06,
author = {Ilinca Ciupa and
Andreas Leitner and
Manuel Oriol and
Bertrand Meyer},
editor = {Johannes Mayer and
Robert G. Merkel},
title = {Object distance and its application to adaptive random testing of
object-oriented programs},
booktitle = {Proceedings of the 1st International Workshop on Random Testing, {RT}
2006, Portland, Maine, USA, July 20, 2006},
pages = {55--63},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1145735.1145744},
doi = {10.1145/1145735.1145744},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issta/CiupaLOM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/NeamtiuHSO06,
author = {Iulian Neamtiu and
Michael W. Hicks and
Gareth Paul Stoyle and
Manuel Oriol},
editor = {Michael I. Schwartzbach and
Thomas Ball},
title = {Practical dynamic software updating for {C}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2006 Conference on Programming
Language Design and Implementation, Ottawa, Ontario, Canada, June
11-14, 2006},
pages = {72--83},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1133981.1133991},
doi = {10.1145/1133981.1133991},
timestamp = {Sat, 31 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pldi/NeamtiuHSO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/OriolH05,
author = {Manuel Oriol and
Michael W. Hicks},
editor = {Jean{-}Marie Jacquet and
Gian Pietro Picco},
title = {Tagged Sets: {A} Secure and Transparent Coordination Medium},
booktitle = {Coordination Models and Languages, 7th International Conference, {COORDINATION}
2005, Namur, Belgium, April 20-23, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3454},
pages = {252--267},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11417019\_17},
doi = {10.1007/11417019\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/OriolH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Oriol04,
author = {Manuel Oriol},
title = {An approach to the dynamic evolution of software systems},
school = {University of Geneva, Switzerland},
year = {2004},
url = {https://archive-ouverte.unige.ch/unige:17407},
doi = {10.13097/ARCHIVE-OUVERTE/UNIGE:17407},
timestamp = {Fri, 20 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Oriol04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/OriolS04,
author = {Manuel Oriol and
Giovanna Di Marzo Serugendo},
title = {Disconnected service architecture for unanticipated run-time evolution
of code},
journal = {{IEE} Proc. Softw.},
volume = {151},
number = {2},
pages = {95--108},
year = {2004},
url = {https://doi.org/10.1049/ip-sen:20040077},
doi = {10.1049/IP-SEN:20040077},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iee/OriolS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/OriolP04,
author = {Manuel Oriol and
Michel Pawlak},
title = {Hot-Swapping Communication Models in {P2P} Networks},
booktitle = {37th Hawaii International Conference on System Sciences {(HICSS-37}
2004), {CD-ROM} / Abstracts Proceedings, 5-8 January 2004, Big Island,
HI, {USA}},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/HICSS.2004.1265684},
doi = {10.1109/HICSS.2004.1265684},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/OriolP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/VitekBO03,
author = {Jan Vitek and
Ciar{\'{a}}n Bryce and
Manuel Oriol},
title = {Coordinating processes with secure spaces},
journal = {Sci. Comput. Program.},
volume = {46},
number = {1-2},
pages = {163--193},
year = {2003},
url = {https://doi.org/10.1016/S0167-6423(02)00090-4},
doi = {10.1016/S0167-6423(02)00090-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/VitekBO03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ap2pc/Oriol02,
author = {Manuel Oriol},
editor = {Gianluca Moro and
Manolis Koubarakis},
title = {Peer Services: From Description to Invocation},
booktitle = {Agents and Peer-to-Peer Computing, First International Workshop, {AP2PC}
2002, Bologna, Italy, July, 2002, Revised and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {2530},
pages = {21--32},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45074-2\_3},
doi = {10.1007/3-540-45074-2\_3},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ap2pc/Oriol02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BryceOV99,
author = {Ciar{\'{a}}n Bryce and
Manuel Oriol and
Jan Vitek},
editor = {Paolo Ciancarini and
Alexander L. Wolf},
title = {A Coordination Model Agents Based on Secure Spaces},
booktitle = {Coordination Languages and Models, Third International Conference,
{COORDINATION} '99, Amsterdam, The Netherlands, April 26-28, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1594},
pages = {4--20},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48919-3\_3},
doi = {10.1007/3-540-48919-3\_3},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BryceOV99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-02-11 02:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
