Author:
Blanc Benjamin,Junke Christophe,Marre Bruno,Le Gall Pascale,Andrieu Olivier
Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. Defining and translating a “safe” subset of Simulink/Stateflow into lustre, Technical Report TR-2004-16, Verimag Technical Report (2004).
2. Bardin, S. and P. Herrmann, Structural Testing of Executables, in: ICST, 2008, pp. 22–31.
3. Test Selection Strategies for Lustre Descriptions in GATeL;Blanc;ENTCS,2005
4. Bouali, A. and B. Dion, Formal verification for model-based development, in: Society of Automotive Engineers, 400 Commonwealth Dr, Warrendale, PA, 15096, USA, 2005.
5. CLPS-B: A constraint solver to animate a B specification;Bouquet;STTT,2004
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constraint Programming for Dynamic Symbolic Execution of JavaScript;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2019
2. A global constraint for over-approximation of real-time streams;Constraints;2017-05-31
3. Sharpening Constraint Programming Approaches for Bit-Vector Theory;Integration of AI and OR Techniques in Constraint Programming;2017
4. AUTSEG: Automatic Test Set Generator for Embedded Reactive Systems;Testing Software and Systems;2014
5. Constraint-based BMC: a backjumping strategy;International Journal on Software Tools for Technology Transfer;2012-08-30