Остановите войну!
for scientists:
default search action
Manuel Oriol
- > Home > Persons > Manuel Oriol
Publications
- 2023
- [c60]Li Huang, Bertrand Meyer, Manuel Oriol:
Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites. ICTSS 2023: 52-70 - [i7]Li Huang, Bertrand Meyer, Manuel Oriol:
Seeding Contradiction: a fast method for generating full-coverage test suites. CoRR abs/2309.04232 (2023) - 2022
- [c59]Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. ISSRE Workshops 2022: 268-273 - [i6]Li Huang, Bertrand Meyer, Manuel Oriol:
Improving Counterexample Quality from Failed Program Verification. CoRR abs/2208.10492 (2022) - 2013
- [j5]Marco Piccioni, Manuel Oriol, Bertrand Meyer:
Class Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. IEEE Trans. Software Eng. 39(2): 184-196 (2013) - [c40]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The search for the laws of automatic random testing. SAC 2013: 1211-1216 - 2012
- [c33]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol:
C to O-O Translation: Beyond the Easy Stuff. WCRE 2012: 19-28 - [i4]Marco Trudel, Carlo A. Furia, Martin Nordio, Bertrand Meyer, Manuel Oriol:
Automatic Translation of C Source Code to Eiffel. CoRR abs/1206.5648 (2012) - [i3]Carlo A. Furia, Bertrand Meyer, Manuel Oriol, Andrey Tikhomirov, Yi Wei:
The Search for the Laws of Automatic Random Testing. CoRR abs/1211.3257 (2012) - 2011
- [j4]Ilinca Ciupa, Alexander Pretschner, Manuel Oriol, Andreas Leitner, Bertrand Meyer:
On the number and nature of faults found by random testing. Softw. Test. Verification Reliab. 21(1): 3-28 (2011) - [c32]Lucas Serpa Silva, Yi Wei, Bertrand Meyer, Manuel Oriol:
Evotec: Evolving the Best Testing Strategy for Contract-Equipped Programs. APSEC 2011: 290-297 - [i2]Marco Piccioni, Manuel Oriol, Bertrand Meyer:
Schema Evolution for Persistent Object-Oriented Software: Model, Empirical Study, and Automated Support. CoRR abs/1103.0711 (2011) - 2010
- [c27]Yi Wei, Serge Gebhardt, Bertrand Meyer, Manuel Oriol:
Satisfying Test Preconditions through Guided Object Selection. ICST 2010: 303-312 - [c25]Yi Wei, Bertrand Meyer, Manuel Oriol:
Is Branch Coverage a Good Measure of Testing Effectiveness? LASER Summer School 2010: 194-212 - 2009
- [c23]Andreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol:
On the Effectiveness of Test Extraction without Overhead. ICST 2009: 416-425 - [c22]Marco Piccioni, Manuel Oriol, Bertrand Meyer, Teseo Schneider:
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software. ASE 2009: 650-654 - [e3]Manuel Oriol, Bertrand Meyer:
Objects, Components, Models and Patterns, 47th International Conference, TOOLS EUROPE 2009, Zurich, Switzerland, June 29-July 3, 2009. Proceedings. Lecture Notes in Business Information Processing 33, Springer 2009, ISBN 978-3-642-02570-9 [contents] - 2008
- [c20]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
ARTOO: adaptive random testing for object-oriented software. ICSE 2008: 71-80 - [c19]Ilinca Ciupa, Alexander Pretschner, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
On the Predictability of Random Tests for Object-Oriented Software. ICST 2008: 72-81 - [c18]Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexander Pretschner:
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports. ISSRE 2008: 157-166 - [c17]Michela Pedroni, Manuel Oriol, Bertrand Meyer, Enrico Albonico, Lukas Angerer:
Course management with TrucStudio. ITiCSE 2008: 260-264 - [c16]Michela Pedroni, Manuel Oriol, Bertrand Meyer, Lukas Angerer:
Automatic extraction of notions from course material. SIGCSE 2008: 251-255 - 2007
- [c15]Marco Piccioni, Manuel Oriol, Bertrand Meyer:
IDE-integrated Support for Schema Evolution in Object-Oriented Applications. RAM-SE 2007: 27-36 - [c13]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Experimental assessment of random testing for object-oriented software. ISSTA 2007: 84-94 - [c12]Michela Pedroni, Manuel Oriol, Bertrand Meyer:
A framework for describing and comparing courses and curricula. ITiCSE 2007: 131-135 - [c11]Andreas Leitner, Manuel Oriol, Andreas Zeller, Ilinca Ciupa, Bertrand Meyer:
Efficient unit test case minimization. ASE 2007: 417-420 - [c8]Andreas Leitner, Ilinca Ciupa, Manuel Oriol, Bertrand Meyer, Arno Fiva:
Contract driven development = test driven development - writing test cases. ESEC/SIGSOFT FSE 2007: 425-434 - 2006
- [c6]Ilinca Ciupa, Andreas Leitner, Manuel Oriol, Bertrand Meyer:
Object distance and its application to adaptive random testing of object-oriented programs. Random Testing 2006: 55-63
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint