BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Switzerland
3 × USA
Collaborated with:
A.Groce R.Gopinath C.Zhang D.Marinov V.J.Hellendoorn P.T.Devanbu D.Le Y.Chen J.Regehr A.Shi M.Gligoric R.Sharma
Talks about:
test (5) reduct (3) coverag (2) adequ (2) case (2) use (2) non (2) criteria (1) program (1) priorit (1)

Person: Mohammad Amin Alipour

DBLP DBLP: Alipour:Mohammad_Amin

Contributed to:

ICST 20142014
ISSTA 20142014
Onward! 20142014
ISSTA 20132013
ASE 20162016
ESEC/FSE 20182018

Wrote 7 papers:

ICST-2014-GroceAZCR #reduction #testing
Cause Reduction for Quick Testing (AG, MAA, CZ, YC, JR), pp. 243–252.
ISSTA-2014-LeAGG #haskell #mutation testing #named #source code #testing
MuCheck: an extensible tool for mutation testing of haskell programs (DL, MAA, RG, AG), pp. 429–432.
ISSTA-2014-ZhangGA #execution #reduction #symbolic computation #testing #using
Using test case reduction and prioritization to improve symbolic execution (CZ, AG, MAA), pp. 160–170.
Onward-2014-GroceAG
Coverage and Its Discontents (AG, MAA, RG), pp. 255–268.
ISSTA-2013-GligoricGZSAM #test coverage #testing #using
Comparing non-adequate test suites using coverage criteria (MG, AG, CZ, RS, MAA, DM), pp. 302–313.
ASE-2016-AlipourSGMG #reduction #testing
Evaluating non-adequate test-case reduction (MAA, AS, RG, DM, AG), pp. 16–26.
ESEC-FSE-2018-HellendoornDA #on the #proving
On the naturalness of proofs (VJH, PTD, MAA), pp. 724–728.

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.