Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 
Articles by Topics
Topic D. - Software
Topic D.2 - SOFTWARE ENGINEERING
Topic D.2.5 - Testing and Debugging

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