Collaborated with:
Shakiba Yaghoubi B.Hoxha G.E.Fainekos
Talks about:
vacuiti (1) respons (1) request (1) specif (1) falsif (1) awar (1) mtl (1)
Person: Adel Dokhanchi
DBLP: Dokhanchi:Adel
Contributed to:
Wrote 1 papers:
- CASE-2017-DokhanchiYHF #specification
- Vacuity aware falsification for MTL request-response specifications (AD, SY, BH, GEF), pp. 1332–1337.