@dblp

Feasibility of Property-Based Testing for Time-Dependent Systems.

, , and . EUROCAST (2), volume 8112 of Lecture Notes in Computer Science, page 527-535. Springer, (2013)

Links and resources

Tags