P. Accioly, P. Borba, R. Bonifacio:
Controlled Experiments Comparing Black-box Testing
Strategies for Software Product Lines
/jucs_20_5/controlled_experiments_comparing_black

page 615 - 639
Vol.20 / Issue 5

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

F. Ferreira, R. Gheyi, P. Borba, G. Soares:
A Toolset for Checking SPL Refinements
/jucs_20_5/a_toolset_for_checking

page 587 - 614
Vol.20 / Issue 5

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

M. Kapus-Kolar:
A Generalization of a Popular Fault-Coverage-Preserving Test Set Transformation
/jucs_23_6/a_generalization_of_a

page 560 - 585
Vol.23 / Issue 6

K. Kaur, S.K. Khatri, A. Mishra, R. Datta:
Statistical Usage Testing at Different Levels of Testing
/jucs_24_12/statistical_usage_testing_at

page 1800 - 1820
Vol.24 / Issue 12

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. Llana, E. Martin-Martin, C. Pareja-Flores, J.Á. Velázquez-Iturbide:
FLOP: A User-Friendly System for Automated Program Assessment
/jucs_20_9/flop_a_user_friendly

page 1304 - 1326
Vol.20 / Issue 9

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

H.-S. Min, S.-M. Chung, J.-Y. Choi:
Deriving System Behavior from UML State Machine Diagram: Applied to Missile Project
/jucs_19_1/deriving_system_behavior_from

page 53 - 77
Vol.19 / Issue 1

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