Search Results for Software Testing.

Skip to:Search Results

|

|

|

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

13

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Subject: Computer science.

Author

SpringerLink (Online service)

(57)

Finkbeiner, Bernd. editor.

(3)

Kovács, Laura. editor.

(3)

Merayo, Mercedes G. editor.

(3)

Bin, Eyal. editor.

(2)

Catala, Andreu. editor.

(2)

Grieskamp, Wolfgang. editor.

(2)

Joya, Gonzalo. editor.

(2)

Margaria, Tiziana. editor. (orcid)0000-0002-5547-9739

(2)

Nielsen, Brian. editor.

(2)

Núñez, Manuel. editor.

(2)

Petrenko, Alexandre. editor.

(2)

Rojas, Ignacio. editor.

(2)

Steffen, Bernhard. editor. (orcid)0000-0001-9619-1558

(2)

Ulrich, Andreas. editor.

(2)

Ur, Shmuel. editor.

(2)

Weise, Carsten. editor.

(2)

Wolff, Burkhart. editor.

(2)

Yenigün, Hüsnü. editor.

(2)

Ziv, Avi. editor.

(2)

(1)

Aichernig, Bernhard K. editor.

(1)

Arbel, Eli. editor.

(1)

Baker, Paul. editor.

(1)

Barnard, Pepita. editor. (orcid)0000-0003-4518-1207

(1)

Barner, Sharon. editor.

(1)

Bautista, John Robert. editor. (orcid)0000-0002-4892-9543

(1)

Bello-Orgaz, Gema. editor. (orcid)0000-0003-2826-3286

(1)

Bertacco, Valeria. editor.

(1)

Bertogna, Marko. editor.

(1)

Biere, Armin. editor.

(1)

Bloem, Roderick. editor.

(1)

Borba, Paulo. editor.

(1)

Boronat, Artur. editor. (orcid)0000-0003-2024-1736

(1)

Bowen, Jonathan P. editor. (orcid)0000-0002-8748-6140

(1)

Braga, Christiano. editor.

(1)

Bu, Lei. editor. (orcid)0000-0003-0517-7801

(1)

Cavalcanti, Ana. editor.

(1)

Cavalli, Ana Rosa. editor.

(1)

Chockler, Hana. editor.

(1)

Cimatti, Alessandro. editor. (orcid)0000-0002-1315-6990

(1)

Dash, Santanu. editor. (orcid)0000-0002-5674-8531

(1)

Deb, Kalyanmoy. editor. (orcid)0000-0001-7402-9939

(1)

Durak, Umut. author.

(1)

Eder, Kerstin. editor.

(1)

Engblom, Jakob.

(1)

Falcone, Yliès. editor.

(1)

Farahi, Arya. editor. (orcid)0000-0003-0777-4618

(1)

Fortz, Sophie. editor. (orcid)0000-0001-9687-8587

(1)

Fraser, Gordon. editor. (orcid)0000-0002-4364-6595

(1)

Furia, Carlo A. editor.

(1)

Gabmeyer, Sebastian. editor.

(1)

Grabowski, Jens. editor.

(1)

Gross, Hans-Gerhard. author.

(1)

Hamlet, Dick. author.

(1)

Han, DongGyun. editor. (orcid)0000-0002-8599-2197

(1)

Harris, Ian. editor.

(1)

Hasegawa, Toru. editor.

(1)

Havelund, Klaus. editor.

(1)

Henry, Pierre. author.

(1)

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X

(1)

Hierons, Robert. editor.

(1)

Higashino, Teruo. editor.

(1)

Hu, Alan J. editor.

(1)

Jalote, Pankaj. author.

(1)

Johnsen, Einar Broch. editor.

(1)

Kao, Ming-Yang. editor.

(1)

Kroening, Daniel. editor.

(1)

Kushik, Natalia. editor.

(1)

Legay, Axel. editor.

(1)

Liu, Zhiming. editor. (orcid)0000-0001-9771-3071

(1)

Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071

(1)

Lourenço, João. editor.

(1)

Lumpe, Markus. editor.

(1)

Mahmood, Zaigham. editor.

(1)

Maldonado, José Carlos. editor.

(1)

Medina-Bulo, Inmaculada. editor.

(1)

Menéndez, Héctor D. editor. (orcid)0000-0002-6314-3725

(1)

Meyer, Bertrand. editor.

(1)

Milazzo, Paolo. editor. (orcid)0000-0002-7309-6424

(1)

Montes de Oca, Edgardo. editor.

(1)

Nahir, Amir. editor.

(1)

Namjoshi, Kedar. editor.

(1)

Nica, Mihai. editor.

(1)

O'Regan, Gerard. author.

(1)

Oğuztüzün, Halit. author.

(1)

Parveen, Tauhida. author.

(1)

Pinho, Luís Miguel. editor.

(1)

Proença, José. editor.

(1)

Quiñones, Eduardo. editor.

(1)

Raz, Orna. editor.

(1)

Rodriguez-Fernandez, Victor. editor. (orcid)0000-0002-8589-6621

(1)

Roşu, Grigore. editor.

(1)

Sampaio, Augusto. editor.

(1)

Sarro, Federica. editor.

(1)

Shehory, Onn. editor.

(1)

Simão, Adenilso. editor.

(1)

Sirjani, Marjan. editor.

(1)

Strichman, Ofer. editor.

(1)

Suzuki, Kenji. editor.

(1)

Sánchez, César. editor.

(1)

Tilley, Scott. author.

(1)

Topçu, Okan. author.

(1)

Tretmans, Jan. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Varró, Dániel. editor.

(1)

Veanes, Margus. editor.

(1)

Vos, Tanja. editor.

(1)

Wimmer, Manuel. editor. (orcid)0000-0002-1124-7098

(1)

Wolfsthal, Yaron. editor.

(1)

Woodcook, Jim. editor.

(1)

Wotawa, Franz. editor.

(1)

Xiong, Yingfei. editor. (orcid)0000-0001-8991-747X

(1)

Yevtushenko, Nina. editor.

(1)

Yilmaz, Cemal. editor.

(1)

Yilmaz, Levent. author.

(1)

Yorav, Karen. editor.

(1)

Zaïdi, Fatiha. editor.

(1)

Zeller, Andreas. editor.

(1)

Zhang, Zili. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(58)

Publication Date

-

(13)

(10)

(4)

(3)

(3)

(3)

(3)

(3)

(3)

(3)

(2)

(2)

(2)

(2)

(1)

(1)

Subject

Software engineering.

(53)

(21)

Computer Science Logic and Foundations of Programming.

(18)

Compilers (Computer programs).

(16)

Compilers and Interpreters.

(16)

Computer Communication Networks.

(16)

Artificial intelligence.

(14)

Theory of Computation.

(12)

Computer networks .

(11)

Formal Languages and Automata Theory.

(11)

Machine theory.

(11)

Computer programming.

(9)

Information Systems.

(9)

Programming Techniques.

(9)

Computer simulation.

(6)

Computer Modelling.

(5)

(4)

Computer network architectures.

(4)

Control Structures and Microprogramming.

(4)

Electronic data processing -- Management.

(4)

(4)

Microprogramming .

(4)

Special Purpose and Application-Based Systems.

(4)

Computers, Special purpose.

(3)

Electronic digital computers -- Evaluation.

(3)

Logics and Meanings of Programs.

(3)

Operating systems (Computers).

(3)

Programming Languages, Compilers, Interpreters.

(3)

System Performance and Evaluation.

(3)

Application software.

(2)

Artificial Intelligence (incl. Robotics).

(2)

Bioinformatics.

(2)

Computational and Systems Biology.

(2)

Computer and Information Systems Applications.

(2)

(2)

Mathematical Logic and Formal Languages.

(2)

Models of Computation.

(2)

(2)

Programming languages (Electronic computers).

(2)

Telecommunication.

(2)

The Computing Profession.

(2)

Applications of Mathematics.

(1)

Arithmetic and Logic Structures.

(1)

Automated Pattern Recognition.

(1)

Coding and Information Theory.

(1)

(1)

Computational Mathematics and Numerical Analysis.

(1)

Computer Engineering and Networks.

(1)

Computer System Implementation.

(1)

Computer aided design.

(1)

Computer architecture.

(1)

Computer arithmetic and logic units.

(1)

Computer communication systems.

(1)

Computer engineering.

(1)

Computer logic.

(1)

Computer programs -- Testing.

(1)

Computer science -- Mathematics.

(1)

Computer software -- Development.

(1)

Computer software -- Specifications.

(1)

Computer software -- Testing.

(1)

Computer software.

(1)

Computer system performance.

(1)

Computer systems.

(1)

Computer-Aided Engineering (CAD, CAE) and Design.

(1)

Computer-aided engineering.

(1)

Computers -- History.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Electronic data processing.

(1)

History of Computing.

(1)

Information theory.

(1)

Management information systems.

(1)

Management of Computing and Information Systems.

(1)

Mathematical Applications in Computer Science.

(1)

Mathematics -- Data processing.

(1)

(1)

Microprocessors.

(1)

Natural Language Processing (NLP).

(1)

Natural language processing (Computer science).

(1)

Operating Systems.

(1)

Pattern recognition systems.

(1)

Processor Architectures.

(1)

Programming Language.

(1)

Software Testing.

(1)

Material Type

Shelf Location

Electronic Library

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

58 Results Found

Subscribe to search results

1 2 3 4 5

000000000000DEFAULT

Print

Select a list

Make this your default list.

The following items were successfully added.

There was an error while adding the following items. Please try again.

One or more items could not be added because you are not logged in.

1.

Cover image for Component-Based Software Testing with UML

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:

2.

Cover image for Composing Software Components A Software-testing Perspective

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:

3.

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

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:

4.

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

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:

5.

Cover image for Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Testing Software and Systems 30th IFIP WG 6.1 International Conference, ICTSS 2018, Cádiz, Spain, October 1-3, 2018, Proceedings

Author

Medina-Bulo, Inmaculada. editor. Merayo, Mercedes G. editor. Hierons, Robert. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-99927-2

Format:

Availability

Online Library~1

Available:
Copies:

6.

Cover image for Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Hardware and Software: Verification and Testing 13th International Haifa Verification Conference, HVC 2017, Haifa, Israel, November 13-15, 2017, Proceedings

Author

Strichman, Ofer. editor. Tzoref-Brill, Rachel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-70389-3

Format:

Availability

Online Library~1

Available:
Copies:

7.

Cover image for 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 29th IFIP WG 6.1 International Conference, ICTSS 2017, St. Petersburg, Russia, October 9-11, 2017, Proceedings

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

Author

Yevtushenko, Nina. editor. Cavalli, Ana Rosa. editor. Yenigün, Hüsnü. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-67549-7

Format:

Availability

Online Library~1

Available:
Copies:

8.

Cover image for Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Hardware and Software: Verification and Testing 12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Author

Bloem, Roderick. editor. Arbel, Eli. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-49052-6

Format:

Availability

Online Library~1

Available:
Copies:

9.

Cover image for Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Testing Software and Systems 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings

Author

Wotawa, Franz. editor. Nica, Mihai. editor. Kushik, Natalia. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-47443-4

Format:

Availability

Online Library~1

Available:
Copies:

10.

Cover image for Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings

Author

Merayo, Mercedes G. editor. Montes de Oca, Edgardo. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-662-44857-1

Format:

Availability

Online Library~1

Available:
Copies:

11.

Cover image for Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Hardware and Software: Verification and Testing 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Author

Biere, Armin. editor. Nahir, Amir. editor. Vos, Tanja. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(334820.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-642-39611-3

Format:

Availability

Online Library~1

Available:
Copies:

12.

Cover image for Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Author

Bertacco, Valeria. editor. Legay, Axel. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE(332962.1)

Electronic Access

http://dx.doi.org/10.1007/978-3-319-03077-7

Format:

Availability

Online Library~1

Available:
Copies:

1 2 3 4 5

Go to:Search Results

|

|

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11