Jacques Julliand

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Under-approximation generation driven by relevance predicates and variants Tests and Proofs	2023-05-05	Paper
Approximating event system abstractions by covering their states and transitions Lecture Notes in Computer Science	2021-05-26	Paper
Test generation from event system abstractions to cover their states and transitions Programming and Computer Software	2020-12-17	Paper
How testing helps to diagnose proof failures Formal Aspects of Computing	2018-11-16	Paper
A compositional automata-based semantics and preserving transformation rules for testing property patterns Formal Aspects of Computing	2015-09-03	Paper
Association of under-approximation techniques for generating tests from models Tests and Proofs	2011-07-07	Paper
Generating tests from B specifications and dynamic selection criteria Formal Aspects of Computing	2011-05-27	Paper
Partitioned PLTL model-checking for refined transition systems Information and Computation	2009-06-11	Paper
Generating Tests from B Specifications and Test Purposes Lecture Notes in Computer Science	2008-11-11	Paper
scientific article; zbMATH DE number 2080016 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2080014 (Why is no real title available?)	2004-08-03	Paper
scientific article; zbMATH DE number 2079827 (Why is no real title available?)	2004-07-30	Paper
scientific article; zbMATH DE number 2013594 (Why is no real title available?)	2003-12-04	Paper
scientific article; zbMATH DE number 1693540 (Why is no real title available?)	2002-01-22	Paper
scientific article; zbMATH DE number 1487729 (Why is no real title available?)	2000-08-10	Paper
Compiling a producer-consumer LEQ system in a network of communicating processes Programming and Computer Software	1998-11-23	Paper
scientific article; zbMATH DE number 3819090 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Jacques Julliand