Inductive Reasoning
Constraints and Statical Determinacy
Elaborative Rehearsals
Problem-Solving
Deductive Reasoning
Statically Indeterminate Problem Solving
You might also read
Articles linked to this work by shared authors, journal, and citation graph.
Updated: Jan 1, 2026

Working Memory Training for Older Participants: A Control Group Training Regimen and Initial Intellectual Functioning Assessment
Published on: September 20, 2020
Roderick Bloem1, Goerschwin Fey2,3, Fabian Greif3
11Graz University of Technology, Graz, Austria.
Developing effective test strategies for evolving reactive systems is challenging. This study introduces a formal method to automatically generate adaptive test strategies that detect faults in any system realization, improving software testing for complex systems.
Failed At:
2026-06-19T13:38:27.248179+00:00