Limit Search Results
Author
SpringerLink (Online service)
(114)
Finkbeiner, Bernd. editor.
(3)
Kovács, Laura. editor.
(3)
Merayo, Mercedes G. editor.
(3)
Biere, Armin. editor.
(2)
Language
English
(115)
Publication Date
-
Subject
Software engineering.
(84)
Computer Science Logic and Foundations of Programming.
(34)
Artificial intelligence.
(30)
Compilers (Computer programs).
(29)
Compilers and Interpreters.
(29)
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
115 Results Found Subscribe to search results
000000000000DEFAULT
Print
1. 
Cover image for Model-Driven Testing
Model-Driven Testing
Author 
Baker, Paul. author. Dai, Zhen Ru. author. Grabowski, Jens. author. Haugen, Øystein. author. Schieferdecker, Ina. author.
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-72563-3
Format: 
Availability 
Online Library~1
Available:
Copies:
2. 
Cover image for TestGoal Result-Driven Testing
TestGoal Result-Driven Testing
Author 
De Grood, Derk-Jan. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-540-78829-4
Format: 
Availability 
Online Library~1
Available:
Copies:
3. 
Cover image for Contactless VLSI Measurement and Testing Techniques
Contactless VLSI Measurement and Testing Techniques
Author 
Sayil, Selahattin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-69673-7
Format: 
Availability 
Online Library~1
Available:
Copies:
4. 
Cover image for Property Testing Current Research and Surveys
Property Testing Current Research and Surveys
Author 
Goldreich, Oded. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-642-16367-8
Format: 
Availability 
Online Library~1
Available:
Copies:
5. 
Cover image for Domain-Specific Model-Driven Testing
Domain-Specific Model-Driven Testing
Author 
Baerisch, Stefan. author. Hasselbring, Wilhelm. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-3-8348-9624-7
Format: 
Availability 
Online Library~1
Available:
Copies:
6. 
Cover image for Component-Based Software Testing with UML
Component-Based Software Testing with UML
Author 
Gross, Hans-Gerhard. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/b138012
Format: 
Availability 
Online Library~1
Available:
Copies:
7. 
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:
8. 
Cover image for Composing Software Components A Software-testing Perspective
Composing Software Components A Software-testing Perspective
Author 
Hamlet, Dick. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4419-7148-7
Format: 
Availability 
Online Library~1
Available:
Copies:
9. 
Cover image for Pro PHP Patterns, Frameworks, Testing and More
Pro PHP Patterns, Frameworks, Testing and More
Author 
McArthur, Kevin. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/978-1-4302-0279-0
Format: 
Availability 
Online Library~1
Available:
Copies:
10. 
Cover image for Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Testing Software and Systems 36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Author 
Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725 Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286 Barnard, Pepita. editor. (orcid)0000-0003-4518-1207 Bautista, John Robert. editor. (orcid)0000-0002-4892-9543 Farahi, Arya. editor. (orcid)0000-0003-0777-4618
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-031-80889-0
Format: 
Availability 
Online Library~1
Available:
Copies:
11. 
Cover image for Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Theory and Applications of Satisfiability Testing – SAT 2018 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings
Author 
Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-319-94144-8
Format: 
Availability 
Online Library~1
Available:
Copies:
12. 
Cover image for Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
Author 
Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
https://doi.org/10.1007/978-3-030-04272-1
Format: 
Availability 
Online Library~1
Available:
Copies:
Select an Action