Limit Search Results
Author
SpringerLink (Online service)
(35)
Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739
(5)
Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558
(5)
Jansen, Nils. editor. (orcid)0000-0003-1318-8973
(3)
Junges, Sebastian. editor. (orcid)0000-0003-0978-8466
(3)
Language
Publication Date
-
Subject
Software engineering.
(18)
Computer Science Logic and Foundations of Programming.
(13)
Formal Languages and Automata Theory.
(9)
Machine theory.
(9)
Theory of Computation.
(9)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
35 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Test and Analysis of Web Services
Test and Analysis of Web Services
Author 
Baresi, Luciano. editor. Nitto, Elisabetta Di. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72912-9
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for Test und Verlässlichkeit von Rechnern
Test und Verlässlichkeit von Rechnern
Author 
Kemnitz, Günter. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-71355-5
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Design Driven Testing Test Smarter, Not Harder
Design Driven Testing Test Smarter, Not Harder
Author 
Stephens, Matt. author. Rosenberg, Doug. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-2944-5
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Structural Decision Diagrams in Digital Test Theory and Applications
Structural Decision Diagrams in Digital Test Theory and Applications
Author 
Ubar, Raimund. author. Raik, Jaan. author. Jenihhin, Maksim. author. Jutman, Artur. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-44734-1
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for System-Level Validation High-Level Modeling and Directed Test Generation Techniques
System-Level Validation High-Level Modeling and Directed Test Generation Techniques
Author 
Chen, Mingsong. author. Qin, Xiaoke. author. Koo, Heon-Mo. author. Mishra, Prabhat. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(331265.1)
Electronic Access 
http://dx.doi.org/10.1007/978-1-4614-1359-2
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Revised Selected Papers
VLSI Design and Test 17th International Symposium, VDAT 2013, Jaipur, India, July 27-30, 2013, Revised Selected Papers
Author 
Gaur, Manoj Singh. editor. Zwolinski, Mark. editor. Laxmi, Vijay. editor. Boolchandani, Dharmendra. editor. Sing, Virendra. editor.
Preferred Shelf Number 
ONLINE(335156.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-42024-5
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
Cover image for Design, Analysis and Test of Logic Circuits Under Uncertainty
Design, Analysis and Test of Logic Circuits Under Uncertainty
Author 
Krishnaswamy, Smita. author. Markov, Igor L. author. Hayes, John P. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(335669.1)
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-9644-9
Format: 
Availability 
Online Library~1
Available:
Copies:
8. 
Cover image for Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen
Qualitätssicherung durch Softwaretests Vorgehensweisen und Werkzeuge zum Test von Java-Programmen
Author 
Kleuker, Stephan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE(338309.1)
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-2068-6
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for High Quality Test Pattern Generation and Boolean Satisfiability
High Quality Test Pattern Generation and Boolean Satisfiability
Author 
Eggersglüß, Stephan. author. Drechsler, Rolf. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-9976-4
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Progress in VLSI Design and Test 16th International Symposium, VDAT 2012, Shibpur, India, July 1-4, 2012. Proceedings
Author 
Rahaman, Hafizur. editor. Chattopadhyay, Sanatan. editor. Chattopadhyay, Santanu. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-31494-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Efficient Test Methodologies for High-Speed Serial Links
Efficient Test Methodologies for High-Speed Serial Links
Author 
Hong, Dongwoo. author. Cheng, Kwang-Ting. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-90-481-3443-4
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Test-Driven Development An Empirical Evaluation of Agile Practice
Test-Driven Development An Empirical Evaluation of Agile Practice
Author 
Madeyski, Lech. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-04288-1
Format: 
Availability 
Online Library~1
Available:
Copies: