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

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

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