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 × 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 DBLP: Elyasov:Alexander

Contributed to:

SAC 20152015
ICTSS 20132013
ICSE 20122012

Wrote 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.

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.