Travelled to:1 × Italy
1 × USA
Collaborated with:L.Mariani A.E.J.Hyvärinen G.Fedyukovich N.Sharygina F.Pastore S.Sehestedt H.Chockler G.Denaro M.Ling M.Oriol A.Rajan O.Sery M.Tautschnig
Talks about:softwar (1) regress (1) pincett (1) network (1) upgrad (1) verif (1) valid (1) chang (1) test (1) aid (1)
Person: Ali Muhammad
DBLP: Muhammad:Ali
Contributed to:
2014
2013Wrote 2 papers:
- ISSTA-2014-PastoreMHFSSM #testing
- Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.
- CSMR-2013-ChocklerDLFHMMORSST #named #validation
- PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.