A logical approach to data-aware automated sequence generation

DOI10.1007/978-3-642-28525-7_7MaRDI QIDQ2889859zbMATH OpenOpenAlexFDO

Authors S. Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca

Publication date 8 June 2012

Published in Transactions on Computational Science XV (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-28525-7_7

Mathematics Subject Classification ID

Logic in computer science (03B70) Theory of data (68P99) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Algorithms on strings (68W32)

Recommendations

• Generating constrained random data with uniform distribution
• Towards the automated generation of consistent, diverse, scalable and realistic graph models
• Towards a framework for constraint-based test case generation
• Applying constraint logic programming to SQL test case generation
• Autonomous sequence generation

Cites work

• Finite model theory and its applications.
• Hardware Specification with Temporal Logic: An Example
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 710624 (Why is no real title available?)
• scientific article; zbMATH DE number 1903365 (Why is no real title available?)
• scientific article; zbMATH DE number 2102710 (Why is no real title available?)
• scientific article; zbMATH DE number 965572 (Why is no real title available?)
• scientific article; zbMATH DE number 3057871 (Why is no real title available?)
• Loosely guarded fragment of first-order logic has the finite model property
• Maintaining knowledge about temporal intervals
• Modal languages and bounded fragments of predicate logic
• Model Checking Quantified Computation Tree Logic
• On the Restraining Power of Guards
• Rule systems for run-time monitoring: from EAGLE to RULER
• Verification, Model Checking, and Abstract Interpretation

Describes a project that uses

Uses Software

• Alloy
• Mace4
• SPOT
• TestEra
• SPIN
• NuSMV
• Alcoa

This page was built for publication: A logical approach to data-aware automated sequence generation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2889859)