Search Results for Testing. - Narrowed by: Computer science.
SirsiDynix Enterprise
https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dTesting.$0026qf$003dSUBJECT$002509Subject$002509Computer$002bscience.$002509Computer$002bscience.$0026te$003dILS$0026ps$003d300$0026isd$003dtrue?dt=list
2024-12-27T07:25:37Z
Model-Driven Testing
ent://SD_ILS/0/SD_ILS:186585
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Baker, Paul. author. Dai, Zhen Ru. author. Grabowski, Jens. author. Haugen, Øystein. author. Schieferdecker, Ina. author.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72563-3">http://dx.doi.org/10.1007/978-3-540-72563-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
TestGoal Result-Driven Testing
ent://SD_ILS/0/SD_ILS:188255
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author De Grood, Derk-Jan. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78829-4">http://dx.doi.org/10.1007/978-3-540-78829-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Contactless VLSI Measurement and Testing Techniques
ent://SD_ILS/0/SD_ILS:401142
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Sayil, Selahattin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-69673-7">https://doi.org/10.1007/978-3-319-69673-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Property Testing Current Research and Surveys
ent://SD_ILS/0/SD_ILS:193273
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Goldreich, Oded. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16367-8">http://dx.doi.org/10.1007/978-3-642-16367-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Domain-Specific Model-Driven Testing
ent://SD_ILS/0/SD_ILS:199733
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Baerisch, Stefan. author. Hasselbring, Wilhelm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-8348-9624-7">http://dx.doi.org/10.1007/978-3-8348-9624-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Component-Based Software Testing with UML
ent://SD_ILS/0/SD_ILS:180937
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Gross, Hans-Gerhard. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138012">http://dx.doi.org/10.1007/b138012</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Composing Software Components A Software-testing Perspective
ent://SD_ILS/0/SD_ILS:172786
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Hamlet, Dick. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4419-7148-7">http://dx.doi.org/10.1007/978-1-4419-7148-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Design Driven Testing Test Smarter, Not Harder
ent://SD_ILS/0/SD_ILS:171408
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Stephens, Matt. author. Rosenberg, Doug. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-2944-5">http://dx.doi.org/10.1007/978-1-4302-2944-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Pro PHP Patterns, Frameworks, Testing and More
ent://SD_ILS/0/SD_ILS:170945
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author McArthur, Kevin. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4302-0279-0">http://dx.doi.org/10.1007/978-1-4302-0279-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Analysis, Testing, and Evolution 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23–24, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399416
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Bu, Lei. editor. (orcid)0000-0003-0517-7801 Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-030-04272-1">https://doi.org/10.1007/978-3-030-04272-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings
ent://SD_ILS/0/SD_ILS:399422
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-99927-2">https://doi.org/10.1007/978-3-319-99927-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
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
ent://SD_ILS/0/SD_ILS:401714
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Beyersdorff, Olaf. editor. Wintersteiger, Christoph M. editor. (orcid)0000-0003-0102-4381 SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-94144-8">https://doi.org/10.1007/978-3-319-94144-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings
ent://SD_ILS/0/SD_ILS:489402
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-662-44857-1">https://doi.org/10.1007/978-3-662-44857-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Agile Methods. Large-Scale Development, Refactoring, Testing, and Estimation XP 2014 International Workshops, Rome, Italy, May 26-30, 2014, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:489435
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Dingsøyr, Torgeir. editor. Moe, Nils Brede. editor. Tonelli, Roberto. editor. Counsell, Steve. editor. Gencel, Cigdem. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-14358-3">https://doi.org/10.1007/978-3-319-14358-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Risk Assessment and Risk-Driven Testing First International Workshop, RISK 2013, Held in Conjunction with ICTSS 2013, Istanbul, Turkey, November 12, 2013. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:487821
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Bauer, Thomas. editor. Großmann, Jürgen. editor. Seehusen, Fredrik. editor. Stølen, Ketil. editor. Wendland, Marc-Florian. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-07076-6">https://doi.org/10.1007/978-3-319-07076-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:332962
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(332962.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-319-03077-7">http://dx.doi.org/10.1007/978-3-319-03077-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Finite Element Analysis for Satellite Structures Applications to Their Design, Manufacture and Testing
ent://SD_ILS/0/SD_ILS:331031
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Abdelal, Gasser F. author. Abuelfoutouh, Nader. author. Gad, Ahmed H. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(331031.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4637-7">http://dx.doi.org/10.1007/978-1-4471-4637-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings
ent://SD_ILS/0/SD_ILS:334724
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Järvisalo, Matti. editor. Van Gelder, Allen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334724.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39071-5">http://dx.doi.org/10.1007/978-3-642-39071-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings
ent://SD_ILS/0/SD_ILS:335141
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Yenigün, Hüsnü. editor. Yilmaz, Cemal. editor. Ulrich, Andreas. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(335141.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-41707-8">http://dx.doi.org/10.1007/978-3-642-41707-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:334820
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334820.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-39611-3">http://dx.doi.org/10.1007/978-3-642-39611-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2012 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197115
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Cimatti, Alessandro. editor. Sebastiani, Roberto. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-31612-8">http://dx.doi.org/10.1007/978-3-642-31612-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
7th RILEM International Conference on Cracking in Pavements Mechanisms, Modeling, Testing, Detection and Prevention Case Histories
ent://SD_ILS/0/SD_ILS:206679
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Scarpas, A. editor. Kringos, N. editor. Al-Qadi, I. editor. A., Loizos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-94-007-4566-7">http://dx.doi.org/10.1007/978-94-007-4566-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software Testing in the Cloud Migration and Execution
ent://SD_ILS/0/SD_ILS:197182
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Tilley, Scott. author. Parveen, Tauhida. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-32122-1">http://dx.doi.org/10.1007/978-3-642-32122-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:197489
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Eder, Kerstin. editor. Lourenço, João. editor. Shehory, Onn. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34188-5">http://dx.doi.org/10.1007/978-3-642-34188-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
ent://SD_ILS/0/SD_ILS:197540
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Nielsen, Brian. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-34691-0">http://dx.doi.org/10.1007/978-3-642-34691-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:194090
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Barner, Sharon. editor. Harris, Ian. editor. Kroening, Daniel. editor. Raz, Orna. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19583-9">http://dx.doi.org/10.1007/978-3-642-19583-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:194747
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Sakallah, Karem A. editor. Simon, Laurent. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-21581-0">http://dx.doi.org/10.1007/978-3-642-21581-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 5th International Haifa Verification Conference, HVC 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:193978
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Namjoshi, Kedar. editor. Zeller, Andreas. editor. Ziv, Avi. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-19237-1">http://dx.doi.org/10.1007/978-3-642-19237-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings
ent://SD_ILS/0/SD_ILS:195681
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Wolff, Burkhart. editor. Zaïdi, Fatiha. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-24580-0">http://dx.doi.org/10.1007/978-3-642-24580-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Materials with Complex Behaviour Modelling, Simulation, Testing, and Applications
ent://SD_ILS/0/SD_ILS:192070
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Öchsner, Andreas. editor. Silva, Lucas Filipe Martins. editor. Altenbach, Holm. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-12667-3">http://dx.doi.org/10.1007/978-3-642-12667-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007, Revised Lectures
ent://SD_ILS/0/SD_ILS:192618
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Borba, Paulo. editor. Cavalcanti, Ana. editor. Sampaio, Augusto. editor. Woodcook, Jim. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14335-9">http://dx.doi.org/10.1007/978-3-642-14335-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2010 13th International Conference, SAT 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:192572
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Strichman, Ofer. editor. Szeider, Stefan. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-14186-7">http://dx.doi.org/10.1007/978-3-642-14186-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing – Practice and Research Techniques 5th International Academic and Industrial Conference, TAIC PART 2010, Windsor, UK, September 3-5, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193017
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Bottaci, Leonardo. editor. Fraser, Gordon. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-15585-7">http://dx.doi.org/10.1007/978-3-642-15585-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Software and Systems 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings
ent://SD_ILS/0/SD_ILS:193340
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Petrenko, Alexandre. editor. Simão, Adenilso. editor. Maldonado, José Carlos. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-16573-3">http://dx.doi.org/10.1007/978-3-642-16573-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:190091
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Chockler, Hana. editor. Hu, Alan J. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-01702-5">http://dx.doi.org/10.1007/978-3-642-01702-5</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2009 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:190421
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Kullmann, Oliver. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-02777-2">http://dx.doi.org/10.1007/978-3-642-02777-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Software and Communication Systems 21st IFIP WG 6.1 International Conference, TESTCOM 2009 and 9th International Workshop, FATES 2009, Eindhoven, The Netherlands, November 2-4, 2009. Proceedings
ent://SD_ILS/0/SD_ILS:191134
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Núñez, Manuel. editor. Baker, Paul. editor. Merayo, Mercedes G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-05031-2">http://dx.doi.org/10.1007/978-3-642-05031-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Primality Testing and Integer Factorization in Public-Key Cryptography
ent://SD_ILS/0/SD_ILS:167452
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Yan, Song Y. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-77268-4">http://dx.doi.org/10.1007/978-0-387-77268-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008 Tokyo, Japan, June 10-13, 2008 Proceedings
ent://SD_ILS/0/SD_ILS:185500
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Suzuki, Kenji. editor. Higashino, Teruo. editor. Ulrich, Andreas. editor. Hasegawa, Toru. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-68524-1">http://dx.doi.org/10.1007/978-3-540-68524-1</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:188031
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Yorav, Karen. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-77966-7">http://dx.doi.org/10.1007/978-3-540-77966-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
ent://SD_ILS/0/SD_ILS:188500
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Kleine Büning, Hans. editor. Zhao, Xishun. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-79719-7">http://dx.doi.org/10.1007/978-3-540-79719-7</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Methods and Testing An Outcome of the FORTEST Network, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:188277
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Hierons, Robert M. editor. Bowen, Jonathan P. editor. Harman, Mark. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78917-8">http://dx.doi.org/10.1007/978-3-540-78917-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
The Testing Network An Integral Approach to Test Activities in Large Software Projects
ent://SD_ILS/0/SD_ILS:188154
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Henry, Pierre. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-78504-0">http://dx.doi.org/10.1007/978-3-540-78504-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Reliability, Life Testing and the Prediction of Service Lives For Engineers and Scientists
ent://SD_ILS/0/SD_ILS:166411
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Saunders, Sam C. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-48538-6">http://dx.doi.org/10.1007/978-0-387-48538-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186652
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Marques-Silva, João. editor. Sakallah, Karem A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-72788-0">http://dx.doi.org/10.1007/978-3-540-72788-0</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Software and Communicating Systems 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007. Proceedings
ent://SD_ILS/0/SD_ILS:186733
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Petrenko, Alexandre. editor. Veanes, Margus. editor. Tretmans, Jan. editor. Grieskamp, Wolfgang. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-73066-8">http://dx.doi.org/10.1007/978-3-540-73066-8</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers
ent://SD_ILS/0/SD_ILS:186088
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Bin, Eyal. editor. Ziv, Avi. editor. Ur, Shmuel. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-540-70889-6">http://dx.doi.org/10.1007/978-3-540-70889-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing and Runtime Verification First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:185247
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Havelund, Klaus. editor. Núñez, Manuel. editor. Roşu, Grigore. editor. Wolff, Burkhart. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11940197">http://dx.doi.org/10.1007/11940197</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:183445
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Ur, Shmuel. editor. Bin, Eyal. editor. Wolfsthal, Yaron. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11678779">http://dx.doi.org/10.1007/11678779</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Communicating Systems 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:183961
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Uyar, M. Ümit. editor. Duale, Ali Y. editor. Fecko, Mariusz A. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11754008">http://dx.doi.org/10.1007/11754008</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:184062
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Grieskamp, Wolfgang. editor. Weise, Carsten. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11759744">http://dx.doi.org/10.1007/11759744</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing - SAT 2006 9th International Conference, Seattle, WA, USA, August 12-15, 2006. Proceedings
ent://SD_ILS/0/SD_ILS:184496
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Biere, Armin. editor. Gomes, Carla P. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11814948">http://dx.doi.org/10.1007/11814948</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing Commercial-off-the-Shelf Components and Systems
ent://SD_ILS/0/SD_ILS:181188
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Beydeda, Sami. editor. Gruhn, Volker. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b138567">http://dx.doi.org/10.1007/b138567</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 8th International Conference, SAT 2005, St Andrews, UK, June 19-23, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:182826
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Bacchus, Fahiem. editor. Walsh, Toby. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137280">http://dx.doi.org/10.1007/b137280</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182934
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Grabowski, Jens. editor. Nielsen, Brian. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b106767">http://dx.doi.org/10.1007/b106767</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Theory and Applications of Satisfiability Testing 7th International Conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004, Revised Selected Papers
ent://SD_ILS/0/SD_ILS:182752
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Hoos, Holger H. editor. Mitchell, David G. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/11527695">http://dx.doi.org/10.1007/11527695</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Model-Based Testing of Reactive Systems Advanced Lectures
ent://SD_ILS/0/SD_ILS:183102
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Broy, Manfred. editor. Jonsson, Bengt. editor. Katoen, Joost-Pieter. editor. Leucker, Martin. editor. Pretschner, Alexander. editor.<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b137241">http://dx.doi.org/10.1007/b137241</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Testing of Communicating Systems 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings
ent://SD_ILS/0/SD_ILS:183140
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Khendek, Ferhat. editor. Dssouli, Rachida. editor. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/b136676">http://dx.doi.org/10.1007/b136676</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Timing Performance of Nanometer Digital Circuits Under Process Variations
ent://SD_ILS/0/SD_ILS:400723
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Champac, Victor. author. Garcia Gervacio, Jose. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="https://doi.org/10.1007/978-3-319-75465-9">https://doi.org/10.1007/978-3-319-75465-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Software and System Development using Virtual Platforms Full-System Simulation with Wind River Simics.
ent://SD_ILS/0/SD_ILS:355554
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Aarno, Daniel. Engblom, Jakob.<br/>Preferred Shelf Number ONLINE(355554.1)<br/>Electronic Access ScienceDirect <a href="http://www.sciencedirect.com/science/book/9780128007259">http://www.sciencedirect.com/science/book/9780128007259</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Open Learning Cultures A Guide to Quality, Evaluation, and Assessment for Future Learning
ent://SD_ILS/0/SD_ILS:334550
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Ehlers, Ulf-Daniel. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE(334550.1)<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-3-642-38174-4">http://dx.doi.org/10.1007/978-3-642-38174-4</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
Performance Metrics for Haptic Interfaces
ent://SD_ILS/0/SD_ILS:173548
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Samur, Evren. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4471-4225-6">http://dx.doi.org/10.1007/978-1-4471-4225-6</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
MATLAB for Psychologists
ent://SD_ILS/0/SD_ILS:174120
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Borgo, Mauro. author. Soranzo, Alessandro. author. Grassi, Massimo. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-2197-9">http://dx.doi.org/10.1007/978-1-4614-2197-9</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R for SAS and SPSS Users
ent://SD_ILS/0/SD_ILS:173754
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Muenchen, Robert A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-1-4614-0685-3">http://dx.doi.org/10.1007/978-1-4614-0685-3</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>
R for SAS and SPSS Users
ent://SD_ILS/0/SD_ILS:164634
2024-12-27T07:25:37Z
2024-12-27T07:25:37Z
Author Muenchen, Robert A. author. SpringerLink (Online service)<br/>Preferred Shelf Number ONLINE<br/>Electronic Access <a href="http://dx.doi.org/10.1007/978-0-387-09418-2">http://dx.doi.org/10.1007/978-0-387-09418-2</a><br/>Format: Electronic Resources<br/>Availability Online Library~1<br/>