UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

A test generation strategy for pairwise testing

IEEE transactions on software engineering, 2002-01, Vol.28 (1), p.109-111

2002

Volltextzugriff (PDF)

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

1, 2005

Volltextzugriff (PDF)

Theory of fault-based predicate testing for computer programs

IEEE transactions on software engineering, 1996-08, Vol.22 (8), p.552-562

TAI, K.-C

1996

Volltextzugriff (PDF)

Use of sequencing constraints for specification-based testing of concurrent programs

IEEE transactions on software engineering, 1998-06, Vol.24 (6), p.471-490

1998

Volltextzugriff (PDF)

Incremental integration testing of concurrent programs

IEEE transactions on software engineering, 2002-06, Vol.28 (6), p.607-623

2002

Volltextzugriff (PDF)

Efficient deadlock analysis of clients/server systems with two-way communication

Proceedings - International Symposium on Software Reliability Engineering, 2001, p.222-231

2001

Volltextzugriff (PDF)

Synchronizable test sequences of finite state machines

Computer networks (Amsterdam, Netherlands : 1999), 1998-07, Vol.30 (12), p.1111-1134

1998

Volltextzugriff (PDF)

The Tree-to-Tree Correction Problem

Journal of the ACM, 1979-07, Vol.26 (3), p.422-433

Tai, Kuo-Chung

1979

Volltextzugriff (PDF)

A specification-based methodology for testing concurrent programs

Software Engineering — ESEC '95, 2005, p.154-172

2005

Volltextzugriff (PDF)

Replay and testing for concurrent programs

IEEE software, 1991-03, Vol.8 (2), p.66-74

1991

Volltextzugriff (PDF)

Debugging concurrent Ada programs by deterministic execution

IEEE transactions on software engineering, 1991-01, Vol.17 (1), p.45-63

1991

Volltextzugriff (PDF)

Model Checking Based on Simultaneous Reachability Analysis

Lecture notes in computer science, 2000, Vol.1885, p.34-53

2000

Volltextzugriff (PDF)

Blocking-based simultaneous reachability analysis of asynchronous message-passing programs

13th International Symposium on Software Reliability Engineering, 2002. Proceedings, 2002, p.316-326

2002

Volltextzugriff (PDF)

Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs

1994 Internatonal Conference on Parallel Processing Vol. 2, 1994, Vol.2, p.69-72

Kuo-Chung Tai

1994

Volltextzugriff (PDF)

Program Testing Complexity and Test Criteria

IEEE transactions on software engineering, 1980-11, Vol.SE-6 (6), p.531-538

Tai, Kuo-Chung

1980

Volltextzugriff (PDF)

Syntactic Error Correction in Programming Languages

IEEE transactions on software engineering, 1978-09, Vol.SE-4 (5), p.414-425

Tai, Kuo-Chung

1978

Volltextzugriff (PDF)

A comparison of computed chaining to predictors

IEEE transactions on software engineering, 1986-08, Vol.SE-12 (8), p.870-874

1986

Volltextzugriff (PDF)

The practicality of text signatures for accelerating string searching

Software, practice & experience, 1982-01, Vol.12 (1), p.35-44

1982

Volltextzugriff (PDF)

Deadlock detection of EFSMs using simultaneous reachability analysis

Proceeding International Conference on Dependable Systems and Networks. DSN 2000, 2000, p.315-324

2000

Volltextzugriff (PDF)

Efficient reachability testing of asynchronous message-passing programs

Eighth IEEE International Conference on Engineering of Complex Computer Systems, 2002. Proceedings, 2002, p.35-44

2002

Volltextzugriff (PDF)

Reachability testing: an approach to testing concurrent software

Proceedings of 1st Asia-Pacific Software Engineering Conference, 1994, p.246-255

1994

Volltextzugriff (PDF)

LONG-TERM TAI-CHI AND YUANJI-DANCE TRAINING ON BALANCE AND ASSOCIATED MUSCLE ACTIVITIES IN COMMUNITY MIDDLE-AGED AND ELDERLY

Biomedical engineering : applications, basis, and communications, 2024-09

2024

Volltextzugriff (PDF)

A course on software engineering for concurrent systems

Software Engineering Education, 1988, p.106-119

1988

Volltextzugriff (PDF)

On Godefroid's state-less search technique for testing concurrent programs

Proceedings 5th International Symposium on Autonomous Decentralized Systems, 2001, p.77-84

2001

Volltextzugriff (PDF)

Test order for inter-class integration testing of object-oriented software

Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97), 1997, p.602-607

1997

Volltextzugriff (PDF)

1 – 25 von 228

Menü

Weitere Dienste

Einstellungen

A test generation strategy for pairwise testing

Modern Multithreading: Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs

Theory of fault-based predicate testing for computer programs

Use of sequencing constraints for specification-based testing of concurrent programs

Incremental integration testing of concurrent programs

Efficient deadlock analysis of clients/server systems with two-way communication

Synchronizable test sequences of finite state machines

The Tree-to-Tree Correction Problem

A specification-based methodology for testing concurrent programs

Replay and testing for concurrent programs

Debugging concurrent Ada programs by deterministic execution

Model Checking Based on Simultaneous Reachability Analysis

Blocking-based simultaneous reachability analysis of asynchronous message-passing programs

Definitions and Detection of Deadlock, Livelock, and Starvation in Concurrent Programs

Program Testing Complexity and Test Criteria

Syntactic Error Correction in Programming Languages

A comparison of computed chaining to predictors

The practicality of text signatures for accelerating string searching

Deadlock detection of EFSMs using simultaneous reachability analysis

Efficient reachability testing of asynchronous message-passing programs

Reachability testing: an approach to testing concurrent software

LONG-TERM TAI-CHI AND YUANJI-DANCE TRAINING ON BALANCE AND ASSOCIATED MUSCLE ACTIVITIES IN COMMUNITY MIDDLE-AGED AND ELDERLY

A course on software engineering for concurrent systems

On Godefroid's state-less search technique for testing concurrent programs

Test order for inter-class integration testing of object-oriented software

Suchergebnisse filtern