Search - Testing Software and Systems Access content directly

Filter your results

1 Array
Image document

Bounded Exhaustive Testing with Certified and Optimized Data Enumeration Programs

Clotilde Erard , Alain Giorgetti
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.159-175, ⟨10.1007/978-3-030-31280-0_10⟩
Conference papers hal-02526343v1