BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Croatia
1 × France
1 × Germany
1 × Italy
1 × Korea
1 × New Zealand
1 × Norway
1 × Portugal
1 × Spain
1 × Sweden
1 × Switzerland
2 × USA
2 × United Kingdom
4 × Canada
Collaborated with:
B.Meyer A.Leitner I.Ciupa A.Monot C.A.Furia M.Wahler P.T.Eugster M.Pedroni Y.Wei M.Trudel M.Nordio A.Pretschner C.Nandi M.Patrick J.A.Clark T.G.Bay S.Gebhardt M.Piccioni T.Schneider I.Neamtiu M.W.Hicks G.Stoyle Camille Schneider A.Tikhomirov S.Mori E.Albonico L.Angerer A.Zeller A.Fiva H.Chockler G.Denaro M.Ling G.Fedyukovich A.E.J.Hyvärinen L.Mariani A.Muhammad A.Rajan O.Sery N.Sharygina M.Tautschnig
Talks about:
test (11) softwar (8) random (5) object (5) orient (4) compon (4) time (3) real (3) base (3) translat (2)

Person: Manuel Oriol

DBLP DBLP: Oriol:Manuel

Facilitated 1 volumes:

TOOLS Europe 2009Ed

Contributed to:

CBSE 20152015
ICST 20152015
CSMR 20132013
SAC 20132013
ICST 20122012
WCRE 20122012
TOOLS Europe 20112011
ICST 20102010
ASE 20092009
ICST 20092009
ICSE 20082008
ICST 20082008
ITiCSE 20082008
ASE 20072007
ESEC/FSE 20072007
ISSTA 20072007
ITiCSE 20072007
SAC 20072007
TOOLS Europe 20072007
CBSE 20062006
PLDI 20062006
WICSA 20162016

Wrote 24 papers:

CBSE-2015-NandiMO #component #contract #probability #realtime #runtime
Stochastic Contracts for Runtime Checking of Component-based Real-time Systems (CN, AM, MO), pp. 111–116.
CBSE-2015-WahlerOM #component #cyber-physical #manycore #realtime
Real-time Multi-core Components for Cyber-physical Systems (MW, MO, AM), pp. 37–42.
ICST-2015-Oriol #embedded #legacy #re-engineering #testing
Testing Legacy Embedded Code: Landing on a Software Engineering Desert Island (MO), pp. 1–2.
CSMR-2013-ChocklerDLFHMMORSST #named #validation
PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
SAC-2013-FuriaMOTW #automation #random testing #testing
The search for the laws of automatic random testing (CAF, BM, MO, AT, YW), pp. 1211–1216.
ICST-2012-Oriol #evaluation #fault #random testing #testing
Random Testing: Evaluation of a Law Describing the Number of Faults Found (MO), pp. 201–210.
ICST-2012-PatrickOC #evaluation #named #semantics
MESSI: Mutant Evaluation by Static Semantic Interpretation (MP, MO, JAC), pp. 711–719.
WCRE-2012-TrudelFNMO #c
C to O-O Translation: Beyond the Easy Stuff (MT, CAF, MN, BM, MO), pp. 19–28.
TOOLS-EUROPE-2011-TrudelOFN #automation #eiffel #java #source code
Automated Translation of Java Source Code to Eiffel (MT, MO, CAF, MN), pp. 20–35.
Satisfying Test Preconditions through Guided Object Selection (YW, SG, BM, MO), pp. 303–312.
ASE-2009-PiccioniOMS #evolution #ide #object-oriented
An IDE-based, Integrated Solution to Schema Evolution of Object-Oriented Software (MP, MO, BM, TS), pp. 650–654.
ICST-2009-LeitnerPMMO #effectiveness #on the
On the Effectiveness of Test Extraction without Overhead (AL, AP, SM, BM, MO), pp. 416–425.
ICSE-2008-CiupaLOM #adaptation #named #object-oriented #random testing #testing
ARTOO: adaptive random testing for object-oriented software (IC, AL, MO, BM), pp. 71–80.
ICST-2008-CiupaPLOM #object-oriented #on the #predict #random testing #testing
On the Predictability of Random Tests for Object-Oriented Software (IC, AP, AL, MO, BM), pp. 72–81.
Course management with TrucStudio (MP, MO, BM, EA, LA), pp. 260–264.
ASE-2007-LeitnerOZCM #performance #testing
Efficient unit test case minimization (AL, MO, AZ, IC, BM), pp. 417–420.
ESEC-FSE-2007-LeitnerCOMF #contract #development #testing
Contract driven development = test driven development — writing test cases (AL, IC, MO, BM, AF), pp. 425–434.
ISSTA-2007-CiupaLOM #assessment #object-oriented #random testing #testing
Experimental assessment of random testing for object-oriented software (IC, AL, MO, BM), pp. 84–94.
ITiCSE-2007-PedroniOM #education #framework
A framework for describing and comparing courses and curricula (MP, MO, BM), pp. 131–135.
SAC-2007-Oriol #component #evolution
Primitives for the dynamic evolution of component-based applications (MO), pp. 1122–1123.
TOOLS-EUROPE-2007-LeitnerEOC #programming language
Reflecting on an Existing Programming Language (AL, PTE, MO, IC), pp. 319–339.
CBSE-2006-BayEO #component
Generic Component Lookup (TGB, PTE, MO), pp. 182–197.
PLDI-2006-NeamtiuHSO #c
Practical dynamic software updating for C (IN, MWH, GS, MO), pp. 72–83.
WICSA-2016-MonotOSW #architecture #embedded #realtime
Modern Software Architecture for Embedded Real-Time Devices: High Value, Little Overhead (AM, MO, CS, MW), pp. 201–210.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.