Travelled to:
1 × Spain
Collaborated with:
A.Elyasov W.Prasetya J.Hage T.E.J.Vos N.Condori-Fernández
Talks about:
equival (1) execut (1) oracl (1) type (1) test (1) new (1)
Person: Urko Rueda
DBLP: Rueda:Urko
Contributed to:
Wrote 1 papers:
- SAC-2015-ElyasovPHRVC #equivalence #execution #testing
- AB=ᗺA: execution equivalence as a new type of testing oracle (AE, WP, JH, UR, TEJV, NCF), pp. 1559–1566.