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: Alipour:Mohammad_Amin
Contributed to:
2014
2014
20142013
2016
2018Wrote 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.