( en | de | ru )

 

Disambiguierung von "Gotlieb, Arnaud"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines.

, , , und . ACM Trans. Softw. Eng. Methodol., 25 (1): 4:1-4:37 (2015)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Arnaud Moris

Julien Arnaud

Arnaud Mende

Arnaud Casteigts

Arnaud Soulet

 

Weitere Publikationen von Autoren mit dem selben Namen

Discovering Program Topoi via Hierarchical Agglomerative Clustering., , , und . IEEE Trans. Reliab., 67 (3): 758-770 (2018)An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming., , und . CP, Volume 4741 von Lecture Notes in Computer Science, Seite 241-255. Springer, (2007)FocalTest: A Constraint Programming Approach for Property-Based Testing., , und . ICSOFT (Selected Papers), Volume 170 von Communications in Computer and Information Science, Seite 140-155. Springer, (2010)Time-aware Test Case Execution Scheduling for Cyber-Physical Systems., , , , und . CoRR, (2019)Goal-oriented test data generation for pointer programs., , und . Inf. Softw. Technol., 49 (9-10): 1030-1044 (2007)Focus section on quality software., , und . Softw. Pract. Exp., 45 (7): 873-874 (2015)Constraint-Based Testing: An Emerging Trend in Software Testing.. Advances in Computers, (2015)Constraint-based reachability, , und . Infinity, Volume 107 von EPTCS, Seite 25-43. (2012)Constraint Reasoning in FocalTest., , und . ICSOFT (2), Seite 82-91. SciTePress, (2010)µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization., , , und . SERE, Seite 197-206. IEEE, (2012)