Selfie: Towards Minimal Symbolic Execution

Autor: Abyaneh, Alireza, Bauer, Simon, Kirsch, Christoph, Mayer, Philipp, Mösl, Christian, Poncelet, Clement, Seidl, Sara, Sokolova, Ana, Widmoser, Manuel

Publikováno v: MoreVMs 2018
MoreVMs 2018, Apr 2018, Nice, France. pp.70-77

International audience; Selfie is a fully self-contained 64-bit implementation of (1) a self-compiling compiler written in a tiny subset of C called C* targeting a tiny subset of 64-bit RISC-V called RISC-U, (2) a self-executing RISC-U emulator, and

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::88f32be8a82d708e828aa80bf3c91b01
https://hal.archives-ouvertes.fr/hal-01852071/document

Model-Based Testing for Building Reliable Realtime Interactive Music Systems

Autor: Poncelet, Clement, Jacquemard, Florent

Publikováno v: Science of Computer Programming
Science of Computer Programming, Elsevier, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172
Science of Computer Programming, 2016, Special Issue on Software Verification and Testing (SAC-SVT'15), 132 (2), pp.143-172

International audience; The role of an Interactive Music System (IMS) is to accompany musicians during live performances, acting like a real musician. It must react in realtime to audio signals from musicians, according to a timed high-level requirem

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::353aa5f8b3cd7839ab8547accedbdeef
https://hal.archives-ouvertes.fr/hal-01314969v2/file/SCP_Antescofo_test_HAL.pdf

Génération de tests de conformité pour un système musical interactif temps-réel

Autor: Poncelet, Clement

Publikováno v: MSR'13
MSR'13, Nov 2013, Rennes, France

We present a framework for black box conformance testing of the realtime interactive music system Antescofo, which is used for mixed (instrumental-electronic) concerts. Our methods for test generation and executions are based on models of the system

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::daeba2c702c698a661d8de3bebd2acdb
https://hal.inria.fr/hal-01133592/document