Manuel Oriol
Manuel Oriol
Constructor Institute Schaffhausen
Verified email at - Homepage
Cited by
Cited by
Practical dynamic software updating for C
I Neamtiu, M Hicks, G Stoyle, M Oriol
ACM SIGPLAN Notices 41 (6), 72-83, 2006
ARTOO: adaptive random testing for object-oriented software
I Ciupa, A Leitner, M Oriol, B Meyer
Proceedings of the 30th international conference on Software engineering, 71-80, 2008
Efficient unit test case minimization
A Leitner, M Oriol, A Zeller, I Ciupa, B Meyer
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
Experimental assessment of random testing for object-oriented software
I Ciupa, A Leitner, M Oriol, B Meyer
Proceedings of the 2007 international symposium on Software testing and …, 2007
Contract driven development= test driven development-writing test cases
A Leitner, I Ciupa, M Oriol, B Meyer, A Fiva
Proceedings of the the 6th joint meeting of the European software …, 2007
Object distance and its application to adaptive random testing of object-oriented programs
I Ciupa, A Leitner, M Oriol, B Meyer
Proceedings of the 1st international workshop on Random testing, 55-63, 2006
Yeti on the cloud
M Oriol, F Ullah
2010 Third International Conference on Software Testing, Verification, and …, 2010
Security risks and their management in cloud computing
AU Khan, M Oriol, M Kiran, M Jiang, K Djemame
4th IEEE International Conference on Cloud Computing Technology and Science …, 2012
Coordinating processes with secure spaces
J Vitek, C Bryce, M Oriol
Science of Computer Programming 46 (1-2), 163-193, 2003
On the predictability of random tests for object-oriented software
I Ciupa, A Pretschner, A Leitner, M Oriol, B Meyer
2008 1st International Conference on Software Testing, Verification, and …, 2008
Finding faults: Manual testing vs. random+ testing vs. user reports
I Ciupa, B Meyer, M Oriol, A Pretschner
2008 19th International Symposium on Software Reliability Engineering (ISSRE …, 2008
On the number and nature of faults found by random testing
I Ciupa, A Pretschner, M Oriol, A Leitner, B Meyer
Software Testing, Verification and Reliability 21 (1), 3-28, 2011
Dynamic software updates for real-time systems
M Wahler, S Richter, M Oriol
Proceedings of the 2nd International Workshop on Hot Topics in Software …, 2009
Is branch coverage a good measure of testing effectiveness?
Y Wei, B Meyer, M Oriol
Empirical Software Engineering and Verification: International Summer …, 2012
Open source projects in programming courses
M Pedroni, T Bay, M Oriol, A Pedroni
ACM SIGCSE Bulletin 39 (1), 454-458, 2007
FASA: a scalable software framework for distributed control systems
M Oriol, M Wahler, R Steiger, S Stoeter, E Vardar, H Koziolek, A Kumar
Proceedings of the 3rd international ACM SIGSOFT symposium on Architecting …, 2012
FASA: A software architecture and runtime framework for flexible distributed automation systems
M Wahler, T Gamer, A Kumar, M Oriol
Journal of Systems Architecture 61 (2), 82-111, 2015
Non-disruptive large-scale component updates for real-time controllers
M Wahler, S Richter, S Kumar, M Oriol
2011 IEEE 27th International Conference on Data Engineering Workshops, 174-178, 2011
Testing. net code with yeti
M Oriol, S Tassis
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
C to OO translation: Beyond the easy stuff
M Trudel, CA Furia, M Nordio, B Meyer, M Oriol
2012 19th Working Conference on Reverse Engineering, 19-28, 2012
The system can't perform the operation now. Try again later.
Articles 1–20