B. K. Aichernig:
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
/jucs_7_8/test_design_through_abstraction

page 710 - 735
Vol.7 / Issue 8

R. T. Alexander, J. Offutt:
Coupling-based Testing of O-O Programs
/jucs_10_4/coupling_based_testing_of

page 391 - 427
Vol.10 / Issue 4

T. Balanescu, A. J. Cowling, H. Georgescu, M. Gheorghe, M. Holcombe, C. Vertan:
Communicating Stream X-Machines Systems are no more than X-Machines
/jucs_5_9/communicating_stream_x_machines

page 494 - 507
Vol.5 / Issue 9

E. Börger, L. Mearelli:
Integrating ASMs into the Software Development Life Cycle
/jucs_3_5/integrating_asm

page 603 - 665
Vol.3 / Issue 5

D. Drusinsky, M.-T. Shing:
Monitoring Temporal Logic Specifications Combined with Time Series Constraints
/jucs_9_11/monitoring_temporal_logic_specification

page 1261 - 1276
Vol.9 / Issue 11

J. Entrialgo, J. García, J.L. Díaz, D.F. García:
Tools and Stochastic Metrics for Debugging Temporal Behaviour of Real-Time Systems
/jucs_15_8/tools_and_stochastic_metrics

page 1563 - 1588
Vol.15 / Issue 8

A. Gargantini, E. Riccobene:
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
/jucs_7_11/asm_based_testing_coverage

page 1050 - 1067
Vol.7 / Issue 11

M. R. Girgis:
Automatic Test Data Generation for Data Flow Testing Using a Genetic Algorithm
/jucs_11_6/automatic_test_data_generation

page 898 - 915
Vol.11 / Issue 6

F. Jurado, A.I. Molina, M.A. Redondo, M. Ortega, A. Giemza, L. Bollen, H.U. Hoppe:
Learning to Program with COALA, a Distributed Computer Assisted Environment
/jucs_15_7/learning_to_program_with

page 1472 - 1485
Vol.15 / Issue 7

O. Koné:
An Inoteroperability Testing Approach to Wireless Applications Protocols
/jucs_9_10/an_inoteroperability_testing_approach

page 1220 - 1243
Vol.9 / Issue 10

L. Mearelli:
Refining an ASM Specification of the Production Cell to C++ Code
/jucs_3_5/production_cell

page 666 - 688
Vol.3 / Issue 5

A. Nadeem, M. Jaffar-ur-Rehman:
TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications
/jucs_11_6/testaf_a_test_automation

page 962 - 985
Vol.11 / Issue 6

T.V.N. Nguyen, F. Irigoin:
Alias Verification for Fortran Code Optimization
/jucs_9_3/alias_verification_for_fortran

page 270 - 297
Vol.9 / Issue 3

K. Nørmark:
Systematic Unit Testing in a Read-eval-print Loop
/jucs_16_2/systematic_unit_testing_in

page 296 - 314
Vol.16 / Issue 2

T. Pallejà, E. Rubión, M. Teixido, M. Tresanchez, A. Fernández del Viso, C. Rebate, J. Palacin:
Using the Optical Flow to Implement a Relative Virtual Mouse Controlled by Head Movements
/jucs_14_19/using_the_optical_flow

page 3127 - 3127
Vol.14 / Issue 19

N. Shah, R. Iqbal, K. Iqbal, A. James:
A QoS Perspective on Exception Diagnosis in Service-Oriented Computing
/jucs_15_9/a_qos_perspective_on

page 1871 - 1885
Vol.15 / Issue 9

M.J. Suárez-Cabal, J. Tuya:
Structural Coverage Criteria for Testing SQL Queries
/jucs_15_3/structural_coverage_criteria_for

page 584 - 619
Vol.15 / Issue 3

A. de la Encina, L. Llana, F. Rubio:
A Debugging System Based on Natural Semantics
/jucs_15_14/a_debugging_system_based

page 2836 - 2880
Vol.15 / Issue 14