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