Manuel Oriol
Manuel Oriol
R&D Manager, ABB, Motors and Generators
Verified email at ch.abb.com - Homepage
TitleCited byYear
Practical dynamic software updating for C
I Neamtiu, M Hicks, G Stoyle, M Oriol
ACM SIGPLAN Notices 41 (6), 72-83, 2006
2892006
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
2032008
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
1082007
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
1012007
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
732007
Coordinating processes with secure spaces
J Vitek, C Bryce, M Oriol
Science of Computer Programming 46 (1-2), 163-193, 2003
672003
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
662006
Yeti on the cloud
M Oriol, F Ullah
2010 Third International Conference on Software Testing, Verification, and …, 2010
622010
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
572008
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
522008
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
442011
Open source projects in programming courses
M Pedroni, T Bay, M Oriol, A Pedroni
ACM SIGCSE Bulletin 39 (1), 454-458, 2007
432007
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
402012
Is branch coverage a good measure of testing effectiveness?
Y Wei, B Meyer, M Oriol
Empirical Software Engineering and Verification, 194-212, 2010
332010
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
322009
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
302012
Testing. net code with yeti
M Oriol, S Tassis
2010 15th IEEE International Conference on Engineering of Complex Computer …, 2010
282010
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
222011
Satisfying test preconditions through guided object selection
Y Wei, S Gebhardt, B Meyer, M Oriol
2010 Third International Conference on Software Testing, Verification and …, 2010
222010
A framework for describing and comparing courses and curricula
M Pedroni, M Oriol, B Meyer
ACM SIGCSE Bulletin 39 (3), 131-135, 2007
222007
The system can't perform the operation now. Try again later.
Articles 1–20