Filter

Search
by Subject
  • Topic A - General Literature
  • Topic B - Hardware
  • Topic C - Computer Systems Organization
  • Topic D - Software
  • Topic E - Data
  • Topic F - Theory of Computation
  • Topic G - Mathematics of Computing
  • Topic H - Information Systems
  • Topic I - Computing Methodologies
  • Topic J - Computer Applications
  • Topic K - Computing Milieux
  • Topic L - Science and Technology of Learning
  • Topic M - Knowledge Management
by Publication Date (dd/mm/yyyy)
from
to
by Publication Type
by Funding Agency
Clear filters
Powered by

31 items matching your criteria

Sort by:
Filter By:
Subject: D.2.5 - Testing and Debugging
Clear All
Copy link
RSS Feed   RSS Feed filters articles only by Classification type, Date (from/to), Publication type
1 2 3
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Research Article
An Inoteroperability Testing Approach to Wireless Applications Protocols
Ousmane Koné
10.3217/jucs-009-10-1220
 28-10-2003
 Unique: 320 | Total: 370  | Access Period:
 1220-1243
HTML
XML
PDF
Research Article
Alias Verification for Fortran Code Optimization
Thi Viet Nga Nguyen, Francois Irigoin
10.3217/jucs-009-03-0270
 28-03-2003
 Unique: 322 | Total: 379  | Access Period:
 270-297
HTML
XML
PDF
Research Article
ASM-Based Testing: Coverage Criteria and Automatic Test Sequence
Angelo Gargantini, Elvinia Riccobene
10.3217/jucs-007-11-1050
 28-11-2001
 Unique: 377 | Total: 438  | Access Period:
 1050-1067
HTML
XML
PDF
Research Article
Test-Design through Abstraction - A Systematic Approach Based on the Refinement Calculus
Bernhard Aichernig
10.3217/jucs-007-08-0710
 28-08-2001
 Unique: 330 | Total: 388  | Access Period:
 710-735
HTML
XML
PDF
Research Article
Communicating Stream X-Machines Systems are no more than X-Machines
Tudor Balanescu, Anthony Cowling, Horia Georgescu, Marian Gheorghe, Mike Holcombe, Cristina Vertan
10.3217/jucs-005-09-0494
 28-09-1999
 Unique: 430 | Total: 516  | Access Period:
 494-507
HTML
XML
PDF
Research Article
Refining an ASM Specification of the Production Cell to C++ Code
Luca Mearelli
10.3217/jucs-003-05-0666
 28-05-1997
 Unique: 306 | Total: 352  | Access Period:
 666-688
HTML
XML
PDF
Research Article
Integrating ASMs into the Software Development Life Cycle
Egon Börger, Luca Mearelli
10.3217/jucs-003-05-0603
 28-05-1997
 Unique: 314 | Total: 381  | Access Period:
 603-665
HTML
XML
PDF
1 2 3

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK