E-LIB Suche - Ergebnisse für: Ahishakiye, Faustin

1

Coverage visualization and analysis of net inscriptions in ..:

Ahishakiye, Faustin ; Jarabo, José Ignacio Requeno ; Kristensen, Lars Michael.
Innovations in Systems and Software Engineering. 20 (2023) 1 - p. 17-30 , 2023

Link: https://doi.org/10.1007/..

2

Hardware-Assisted Online Data Race Detection:

, In: Formal Methods in Outer Space; Lecture Notes in Computer Science,

Ahishakiye, Faustin ; Jarabo, José Ignacio Requeno ; Pun, Violet Ka I. - p. 108-126 , 2021

Link: https://doi.org/10.1007/..

3

MC/DC Test Cases Generation Based on BDDs:

, In: Dependable Software Engineering. Theories, Tools, and Applications; Lecture Notes in Computer Science,

Ahishakiye, Faustin ; Requeno Jarabo, José Ignacio ; Kristensen, Lars Michael. - p. 178-197 , 2021

Link: https://doi.org/10.1007/..

4

Coverage Analysis of Net Inscriptions in Coloured Petri Net..:

, In: Lecture Notes in Computer Science; Verification and Evaluation of Computer and Communication Systems,

Ahishakiye, Faustin ; Requeno Jarabo, José Ignacio ; Kristensen, Lars Michael. - p. 68-83 , 2020

Link: https://doi.org/10.1007/..

5

Non-Intrusive MC/DC Measurement Based on Traces:

, In: 2019 International Symposium on Theoretical Aspects of Software Engineering (TASE),

Ahishakiye, Faustin ; Jaksic, Svetlana ; Stolz, Volker... - p. 86-92 , 2019

Link: https://doi.org/10.1109/..

6

Toolkits for Real Time Digital Audio Signal Processing Teac..:

Nkurikiyeyezu, Kizito ; Ahishakiye, Faustin ; Nsengimana, Cyprien.
Journal of Signal and Information Processing. 6 (2015) 2 - p. 92-98 , 2015

Link: https://doi.org/10.4236/..

7

Coverage visualization and analysis of net inscriptions in ..:

Ahishakiye, Faustin ; Requeno Jarabo, Jose Ignacio ; Kristensen, Lars Michael.
urn:issn:1614-5046. , 2023

Link: https://hdl.handle.net/1..

8

Efficient techniques and tools for software testing based o..:

Ahishakiye, Faustin
Ahishakiye, F., Jakšić, S., Stolz, V., Lange, F. D., Schmitz, M., & Thoma, D. (2019). Non-intrusive MC/DC measurement based on traces. In Proceedings of the 13th International Symposium on Theoretical Aspects of Software Engineering (TASE) (pp. 86–92). IEEE. https://doi.org/10.1109/TASE.2019.00-15. , 2022

Link: https://hdl.handle.net/1..

9

MC/DC Test Cases Generation Based on BDDs:

Ahishakiye, Faustin ; Requeno Jarabo, Jose Ignacio ; Kristensen, Lars Michael.
SETTA2021: 7th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. , 2021

Link: https://hdl.handle.net/1..

10

Hardware-Assisted Online Data Race Detection:

Ahishakiye, Faustin ; Requeno Jarabo, Jose Ignacio ; Pun, Ka I.
Høgskulen på Vestlandet: COEMS Training Network. , 2021

Link: https://hdl.handle.net/1..

11

Open Data for Bankers example:

Ahishakiye, Faustin ; Requeno, José Ignacio ; I Pun, Ka.
info:eu-repo/grantAgreement/EC/H2020/732016/. , 2020

Link: https://zenodo.org/recor..

12

Proceedings of the PhD Symposium at iFM'19on Formal Methods..:

Pun, Ka I ; Stolz, Volker ; Fazeldehkordi, Elahe...
HVL-rapport;14/2020. , 2020

Link: https://hdl.handle.net/1..

13

Open Data for Bankers example:

Ahishakiye, Faustin ; Requeno, José Ignacio ; I Pun, Ka.
info:eu-repo/grantAgreement/EC/H2020/732016/. , 2020

Link: https://zenodo.org/recor..

14

Coverage Analysis of Net Inscriptions in Coloured Petri Net..:

Ahishakiye, Faustin ; Jarabo, José Ignacio Requeno ; Kristensen, Lars Michael.
http://arxiv.org/abs/2005.09806. , 2020

Link: http://arxiv.org/abs/200..