Follow
Manuel Oriol
Manuel Oriol
Schaffhausen Institute of Technology
Verified email at sit.org - Homepage
Title
Cited by
Cited by
Year
Practical dynamic software updating for C
I Neamtiu, M Hicks, G Stoyle, M Oriol
ACM SIGPLAN Notices 41 (6), 72-83, 2006
3332006
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
2602008
Efficient unit test case minimization
A Leitner, M Oriol, A Zeller, I Ciupa, B Meyer
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
1332007
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
1192007
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
932007
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
802006
Yeti on the cloud
M Oriol, F Ullah
2010 Third International Conference on Software Testing, Verification, and …, 2010
792010
Coordinating processes with secure spaces
J Vitek, C Bryce, M Oriol
Science of Computer Programming 46 (1-2), 163-193, 2003
702003
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
692008
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
622008
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
572012
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
552011
Is branch coverage a good measure of testing effectiveness?
Y Wei, B Meyer, M Oriol
Empirical Software Engineering and Verification, 194-212, 2010
552010
Open source projects in programming courses
M Pedroni, T Bay, M Oriol, A Pedroni
ACM SIGCSE Bulletin 39 (1), 454-458, 2007
482007
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
472009
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
392012
Testing. net code with yeti
M Oriol, S Tassis
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
302010
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
292012
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
292011
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
292011
The system can't perform the operation now. Try again later.
Articles 1–20