Jacques Julliand

From MaRDI portal
Person:493527

Available identifiers

zbMath Open julliand.jacquesMaRDI QIDQ493527

List of research outcomes





PublicationDate of PublicationType
Under-approximation generation driven by relevance predicates and variants2023-05-05Paper
Approximating Event System Abstractions by Covering Their States and Transitions2021-05-26Paper
Test generation from event system abstractions to cover their states and transitions2020-12-17Paper
How testing helps to diagnose proof failures2018-11-16Paper
A compositional automata-based semantics and preserving transformation rules for testing property patterns2015-09-03Paper
Association of Under-Approximation Techniques for Generating Tests from Models2011-07-07Paper
Generating tests from B specifications and dynamic selection criteria2011-05-27Paper
Partitioned PLTL model-checking for refined transition systems2009-06-11Paper
Generating Tests from B Specifications and Test Purposes2008-11-11Paper
https://portal.mardi4nfdi.de/entity/Q44722032004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44722002004-08-03Paper
https://portal.mardi4nfdi.de/entity/Q44719312004-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44369802003-12-04Paper
https://portal.mardi4nfdi.de/entity/Q27641392002-01-22Paper
https://portal.mardi4nfdi.de/entity/Q44942402000-08-10Paper
Compiling a producer-consumer LEQ system in a network of communicating processes1998-11-23Paper
https://portal.mardi4nfdi.de/entity/Q36662651983-01-01Paper

Research outcomes over time

This page was built for person: Jacques Julliand

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:493527&oldid=10823657"
Powered by MediaWiki