1 citations · 3 across the 6 of their papers we have counts for
6 papers
Testing Pushdown Systems
Adilson Luiz Bonifacio, Arnaldo Vieira Moura
Testing on reactive systems is a well-known laborious activity on software development due to their asynchronous interaction with the environment. In this setting model based testi…
A conformance relation and complete test suites for I/O systems
Adilson Luiz Bonifacio, Arnaldo Vieira Moura
Model based testing is a well-established approach to verify implementations modeled by I/O labeled transition systems (IOLTSs). One of the challenges stemming from model based tes…
Intrinsic Properties of Complete Test Suites
Adilson Luiz Bonifacio, Arnaldo Vieira Moura
Completeness is a desirable property of test suites. Roughly, completeness guarantees that a non-equivalent implementation under test will always be identified. Several approaches…
On the Termination of Linear and Affine Programs over the Integers
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
The termination problem for affine programs over the integers was left open in\cite{Braverman}. For more that a decade, it has been considered and cited as a challenging open probl…
Characterization of Termination for Linear Loop Programs
Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe
We present necessary and sufficient conditions for the termination of linear homogeneous programs. We also develop a complete method to check termination for this class of programs…
Generating Asymptotically Non-Terminating Initial Values for Linear Programs
Rachid Rebiha, Nadir Matringe, Arnaldo Vieira Moura
We present the notion of asymptotically non-terminating initial variable values for linear loop programs. Those values are directly associated to initial variable values for which…