Travelled to:1 × Canada
Collaborated with:B.Alcalde A.R.Cavalli
Talks about:constrain (1) approach (1) passiv (1) invari (1) check (1) test (1)
Person: Behrouz Tork Ladani
DBLP: Ladani:Behrouz_Tork
Contributed to:
2005Wrote 1 papers:
- TestCom-2005-LadaniAC #approach #invariant #testing
- Passive Testing — A Constrained Invariant Checking Approach (BTL, BA, ARC), pp. 9–22.