Skip to Main content Skip to Navigation
Conference papers

Test Selection for Data-Flow Reactive Systems based on Observations

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00616624
Contributor : Antoine Rollet <>
Submitted on : Tuesday, August 23, 2011 - 3:16:42 PM
Last modification on : Thursday, January 11, 2018 - 6:20:16 AM

Identifiers

  • HAL Id : inria-00616624, version 1

Collections

Citation

Omer Landry Nguena Timo, Antoine Rollet. Test Selection for Data-Flow Reactive Systems based on Observations. 7th Workshop on Advances in Model Based Testing A-MOST 2011, Mar 2011, Berlin, Germany. 8p. ⟨inria-00616624⟩

Share

Metrics

Record views

69