Travelled to:1 × Spain
1 × Switzerland
1 × Turkey
Collaborated with:J.Hage ∅ I.S.W.B.Prasetya W.Prasetya U.Rueda T.E.J.Vos N.Condori-Fernández
Talks about:test (2) simplif (1) equival (1) algebra (1) specif (1) failur (1) execut (1) oracl (1) type (1) mine (1)
Person: Alexander Elyasov
DBLP: Elyasov:Alexander
Contributed to:
2015
2013
2012Wrote 3 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.
- ICTSS-2013-ElyasovPH #algebra #mining #specification
- Guided Algebraic Specification Mining for Failure Simplification (AE, ISWBP, JH), pp. 223–238.
- ICSE-2012-Elyasov #testing
- Log-based testing (AE), pp. 1591–1594.