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...

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers

2004

Volltextzugriff (PDF)

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

1st Edition 2020, 2020

Volltextzugriff (PDF)

Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

2017

Volltextzugriff (PDF)

Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings

1st ed. 2019., 2019

Volltextzugriff (PDF)

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

2011

Volltextzugriff (PDF)

Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

2003., 2003

Volltextzugriff (PDF)

Hypothesis Testing

Statistical Methods for Data Analysis, 2023, Vol.1010, p.209-224

Lista, Luca

2023

Volltextzugriff (PDF)

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

2004

Volltextzugriff (PDF)

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

2010 edition., 2010

Volltextzugriff (PDF)

Model Learning and Model-Based Testing

Machine Learning for Dynamic Software Analysis, 2018, p.74-100

2018

Volltextzugriff (PDF)

Testing the autonomic nervous system

Handbook of Clinical Neurology, 2013, Vol.115, p.115-136

2013

Volltextzugriff (PDF)

Penetration Testing ROS

Robot Operating System (ROS), p.183-225

Volltextzugriff (PDF)

Implementation Relations for Distributed Testing

Applicable Formal Methods for Safe Industrial Products, p.34-48

Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

1, 2004

Volltextzugriff (PDF)

Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. , Proceedings

1, 2004

Volltextzugriff (PDF)

Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings

2022

Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

2012, 2012

Volltextzugriff (PDF)

Learning-Based Testing: Recent Progress and Future Prospects

International Dagstuhl Seminar 16172 Machine Learning for Dynamic Software Analysis: Potentials and Limits, 2016, 2018, p.53-73

2018

Volltextzugriff (PDF)

AIMOS: Metamorphic Testing of AI - An Industrial Application

Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023, Vol.14182, p.328-340

2023

Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

1, 2016

Volltextzugriff (PDF)

Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection

SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2015), 2015, p.3-10

2015

Volltextzugriff (PDF)

Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings

2022

Volltextzugriff (PDF)

On Scenario-Based Testing of Cyber-Physical Systems

Applicable Formal Methods for Safe Industrial Products, p.68-82

Volltextzugriff (PDF)

On Testing Ethical Autonomous Decision-Making

Applicable Formal Methods for Safe Industrial Products, p.3-15

Volltextzugriff (PDF)

Testing the Unknown – Value of Usability Testing for Complex Professional Systems Development

Human-Computer Interaction - INTERACT 2015, 2015, Vol.9297, p.300-314

2015

Volltextzugriff (PDF)

1 – 25 von 16.924

Suche als RSS-Feed

Aktive Filter

KollektionInfoSci-Books

Zeitschrift / SerieAdvances In Experimental Medicine And Biology

ThemaStudies

KollektionEbook Central Perpetual and DDA

KollektionIngenta

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(14.022)
Mit Volltextzugriff
(15.990)

Publikationsform

Buchkapitel
(12.198)
Bücher
(2.111)
Tagungsberichte
(1.678)
Artikel
(924)
Reviews
(13)

Sprache

Englisch
(16.924)
Japanisch
(343)
Deutsch
(11)
Norwegisch
(6)
Französisch
(1)
Spanisch
(1)

1 weiteren anzeigen...

Weniger anzeigen...

Erscheinungsjahr

n.n

Thema

Science & Technology
(9.071)
Computer Science
(9.007)
Technology
(7.433)
Computer Science, Theory & Methods
(4.400)
Computer Science, Artificial Intelligence
(3.739)
Life Sciences & Biomedicine
(1.946)
Artificial Intelligence
(1.798)
Computer Science, Information Systems
(1.785)
Congresses
(1.566)
Computer Science, Software Engineering
(1.445)
Computer Science, Interdisciplinary Applications
(1.424)
Humans
(1.307)
Software Engineering
(1.266)
Computers
(1.137)
Engineering
(1.057)
Electronic Data Processing
(1.045)
Computer Software
(1.030)
Mathematics
(963)
Physical Sciences
(957)
Informatika
(903)

15 weitere anzeigen...

Weniger anzeigen...

Kollektion

IngentaConnect Journals
(16.924)
eBooks on EBSCOhost
(16.462)
Springer Book Series
(15.434)
MEDLINE
(1.544)
ACM Digital Library
(660)
IngentaConnect Journals
(241)
ScienceDirect eBooks
(231)
Elsevier ScienceDirect Journals Complete
(219)
Springer Nature - Complete Springer Journals
(115)
Wiley Online Library All Obooks
(74)
EZB Free E-Journals
(66)
Taylor & Francis eBooks A-Z
(53)
Taylor & Francis Current Content Access
(45)
Taylor & Francis:Master (3349 titles)
(43)
Taylor & Francis Journals Auto-Holdings Collection
(38)
JSTOR Complete Journals
(16)
Cambridge Core All Books
(13)
ERIC
(12)
EBSCOhost Business Source Ultimate
(12)

14 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(42)

Menü

Weitere Dienste

Einstellungen

Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Revised Papers

Testing Software and Systems: 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Naples, Italy, December 9-11, 2020, Proceedings

Testing Software and Systems: 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

Testing Software and Systems: 31st IFIP WG 6.1 International Conference, ICTSS 2019, Paris, France, October 15-17, 2019, Proceedings

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011, Proceedings

Testing of Communicating Systems: 15th IFIP International Conference, TestCom 2003, Sophia Antipolis, France, May 26-28, 2003, Proceedings

Hypothesis Testing

Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 Workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004. Proceedings

Testing Software and Systems: 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010, Proceedings

Model Learning and Model-Based Testing

Testing the autonomic nervous system

Penetration Testing ROS

Implementation Relations for Distributed Testing

Theory and Applications of Satisfiability Testing: 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003, Selected Revised Papers

Testing of Communicating Systems: 16th IFIP International Conference, TestCom 2004, Oxford, UK, March 17-19, 2004. , Proceedings

Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10–12, 2021, Proceedings

Theory and Applications of Satisfiability Testing - SAT 2012: 15th International Conference, Trento, Italy, June 17-20, 2012, Proceedings

Learning-Based Testing: Recent Progress and Future Prospects

AIMOS: Metamorphic Testing of AI - An Industrial Application

Theory and Applications of Satisfiability Testing - SAT 2016: 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings

Learning-Based Testing of Distributed Microservice Architectures: Correctness and Fault Injection

Testing Software and Systems: 33rd IFIP WG 6.1 International Conference, ICTSS 2021, London, UK, November 10-12, 2021, Proceedings

On Scenario-Based Testing of Cyber-Physical Systems

On Testing Ethical Autonomous Decision-Making

Testing the Unknown – Value of Usability Testing for Complex Professional Systems Development

Aktive Filter

Suchergebnisse filtern