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 formal evaluation of data flow path selection criteria

IEEE transactions on software engineering, 1989-11, Vol.15 (11), p.1318-1332

1989

Volltextzugriff (PDF)

Perturbation techniques for detecting domain errors

IEEE transactions on software engineering, 1989-06, Vol.15 (6), p.737-746

Zeil, S.J.

1989

Volltextzugriff (PDF)

Performance Evaluation of Oracle Semantic Technologies with Respect to User Defined Rules

2011 22nd International Workshop on Database and Expert Systems Applications, 2011, p.252-256

2011

Volltextzugriff (PDF)

Testing for Perturbations of Program Statements

IEEE transactions on software engineering, 1983-05, Vol.SE-9 (3), p.335-346

Zeil, S.J.

1983

Volltextzugriff (PDF)

Complexity of the EQUATE testing strategy

The Journal of systems and software, 1988-03, Vol.8 (2), p.91-104

Zeil, Steven J.

1988

Volltextzugriff (PDF)

A reliability model combining representative and directed testing

Proceedings of IEEE 18th International Conference on Software Engineering, 1996, p.506-514

1996

Volltextzugriff (PDF)

Interpretation in a tool-fragment environment

Proceedings of the 10th international conference on Software engineering, 1988, p.241-248

1988

Volltextzugriff (PDF)

Interpretation in a tool-fragment environment

International Conference on Software Engineering: Proceedings of the 10th international conference on Software engineering; 11-15 Apr. 1988, 1988, p.241-248

1988

Volltextzugriff (PDF)

Testing for linear errors in nonlinear computer programs

International Conference on Software Engineering, 1992, p.81-91

1992

Volltextzugriff (PDF)

TEAM: a support environment for testing, evaluation, and analysis

SIGPLAN notices, 1989-03, Vol.24 (2), p.153-162

1989

Volltextzugriff (PDF)

Software error analysis: a real case study involving real faults and mutations

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis; 08-10 Jan. 1996, 1996, p.158-171

1996

Volltextzugriff (PDF)

Multimodal communication in a noisy environment: a case study of the Bornean rock frog Staurois parvus

PloS one, 2012-05, Vol.7 (5), p.e37965-e37965

2012

Volltextzugriff (PDF)

A semantic model of program faults

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis : San Diego, California, United States; 08-10 Jan. 1996, 1996, p.195-200

1996

Volltextzugriff (PDF)

Critical slicing for software fault localization

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis; 08-10 Jan. 1996, 1996, p.121-134

1996

Volltextzugriff (PDF)

Automated test data generation for programs with procedures

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis; 08-10 Jan. 1996, 1996, p.209-215

1996

Volltextzugriff (PDF)

Demonstration of a beam loaded nanocoulomb-class laser wakefield accelerator

Nature communications, 2017-09, Vol.8 (1), p.487-7, Article 487

2017

Volltextzugriff (PDF)

A logic-model semantics for SCR software requirements

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis; 08-10 Jan. 1996, 1996, p.280-292

1996

Volltextzugriff (PDF)

Daistish: systematic algebraic testing for OO programs in the presence of side-effects

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis; 08-10 Jan. 1996, 1996, p.53-61

1996

Volltextzugriff (PDF)

Structural specification-based testing with ADL

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis; 08-10 Jan. 1996, 1996, p.62-70

1996

Volltextzugriff (PDF)

Framing vulnerability, risk and societal responses: the MOVE framework

Natural hazards (Dordrecht), 2013-06, Vol.67 (2), p.193-211

2013

Volltextzugriff (PDF)

Digger wasps Microbembex monodonta SAY (Hymenoptera, Crabronidae) rely exclusively on visual cues when pinpointing their nest entrances

PloS one, 2023-03, Vol.18 (3)

2023

Volltextzugriff (PDF)

Digger wasps Microbembex monodonta SAY

PloS one, 2023-03, Vol.18 (3), p.e0282144

2023

Volltextzugriff (PDF)

An incremental approach to structural testing of concurrent software

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis; 08-10 Jan. 1996, 1996, p.14-23

1996

Volltextzugriff (PDF)

Towards a structural load testing tool

International Symposium on Software Testing and Analysis: Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis; 08-10 Jan. 1996, 1996, p.201-208

1996

Volltextzugriff (PDF)