Inproceedings,

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)

Meta data

Tags

Users

  • @dblp

Comments and Reviews