Search Results for Software Testing.

|

|

|

|

Remember to clear the cache and close the browser window.

Search Limit

Rooms Restriction Values

8

Search Field

Target Value

Limit Value

Restriction Value

Search For:

Advanced Search

Limit Search Results

Narrowed by:

+

Shelf Location: 1:SPRINGER

Author

SpringerLink (Online service)

(83)

Finkbeiner, Bernd. editor.

(3)

Kovács, Laura. editor.

(3)

Bergsmann, Johannes. editor.

(2)

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

(2)

Catala, Andreu. editor.

(2)

Cavalli, Ana Rosa. editor.

(2)

Cleophas, Ton J. author.

(2)

Janes, Andrea. editor.

(2)

Jedlitschka, Andreas. editor.

(2)

Joya, Gonzalo. editor.

(2)

Kadgien, Regine. editor.

(2)

Lenarduzzi, Valentina. editor. (orcid)0000-0003-0511-5133

(2)

Li, Xiaozhou. editor.

(2)

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

(2)

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

(2)

O'Regan, Gerard. author.

(2)

Rojas, Ignacio. editor.

(2)

Sarro, Federica. editor.

(2)

Silhavy, Petr. editor.

(2)

Silhavy, Radek. editor.

(2)

Sim, Kevin. editor.

(2)

Squillero, Giovanni. editor.

(2)

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

(2)

Winkler, Dietmar. editor.

(2)

Zwinderman, Aeilko H. author.

(2)

Aichernig, Bernhard K. editor.

(1)

Arbel, Eli. editor.

(1)

Arnicane, Vineta. editor.

(1)

Arnicans, Guntis. editor.

(1)

Bagnato, Alessandra. editor.

(1)

Balakrishnan, Arunkumar. editor.

(1)

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

(1)

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

(1)

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

(1)

Benala, Tirimula Rao. editor.

(1)

Bertogna, Marko. editor.

(1)

Biffl, Stefan. editor. (orcid)0000-0002-3413-7780

(1)

Bloem, Roderick. editor.

(1)

Borge-Diez, David. editor.

(1)

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

(1)

Borzovs, Juris. editor.

(1)

Braga, Christiano. editor.

(1)

Cabello, Enrique. editor.

(1)

Cao, Jiannong. author.

(1)

Cardoso, Jorge. editor.

(1)

Chaudhary, Naveen Kumar. editor.

(1)

Chen, Jinyin. author. (orcid)0000-0002-7153-2755

(1)

Chiba, Shigeru. editor.

(1)

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

(1)

Colmenar-Santos, Antonio. editor.

(1)

Crotts, Joshua. author. (orcid)0000-0002-7513-5618

(1)

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

(1)

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

(1)

Dehuri, Satchidananda. editor.

(1)

Durak, Umut. author.

(1)

Eugster, Patrick. editor.

(1)

Falcone, Yliès. editor.

(1)

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

(1)

Favorskaya, Margarita N. editor.

(1)

Felderer, Michael. editor. (orcid)0000-0003-3818-4442

(1)

Fischbach, Jannik. editor. (orcid)0000-0002-4361-6118

(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)

Gao, Jun. author.

(1)

Gohil, Bhavesh N. editor.

(1)

Gomes, Cláudio. editor. (orcid)0000-0003-2692-9742

(1)

Gumzej, Roman. author.

(1)

Gühmann, Clemens. editor.

(1)

Hallock, Harold L. author.

(1)

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

(1)

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

(1)

Höst, Martin. author.

(1)

Iyengar, S. S. editor.

(1)

J.M. Veendrick, Harry. author.

(1)

Jalote, Pankaj. author.

(1)

Johnsen, Einar Broch. editor.

(1)

Kakkar, Deepti. editor.

(1)

Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425

(1)

Kao, Ming-Yang. editor.

(1)

Khosravi, Ramtin. editor.

(1)

Kosmatov, Nikolai. editor. (orcid)0000-0003-1557-2813

(1)

Kouchnarenko, Olga. editor.

(1)

Kundel, Ralf. author.

(1)

Kushik, Natalia. editor.

(1)

Lahiri, Shuvendu. editor.

(1)

Leavens, Gary T. editor.

(1)

Li, Wei. author.

(1)

Li, Wen. author.

(1)

Li, Xiao. author.

(1)

Li, Xiuqing. author.

(1)

Liu, Shaoying. author.

(1)

Liu, Shaoying. editor. (orcid)0000-0002-6748-5052

(1)

Liu, Xuefeng. author.

(1)

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

(1)

Ludwig, André. editor.

(1)

Lumpe, Markus. editor.

(1)

Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545

(1)

Mahmood, Zaigham. editor.

(1)

Mall, Rajib. editor.

(1)

Mallouli, Wissam. editor.

(1)

Marmsoler, Diego. editor. (orcid)0000-0003-2859-7673

(1)

Mehta, Gayatri. 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)

Misra, Sudip. author.

(1)

Mohanty, Hrushikesha. editor.

(1)

Mohanty, J. R. editor.

(1)

Méndez Fernández, Daniel. editor.

(1)

Nica, Mihai. editor.

(1)

Niedrite, Laila. editor.

(1)

Ohlsson, Magnus C. author.

(1)

Ortega-Cabezas, Pedro-Miguel. editor.

(1)

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

(1)

P. Zeigler, Bernard. author.

(1)

Pal, Sujata. author.

(1)

Patel, Sankita J. editor.

(1)

Pedrycz, Witold. editor.

(1)

Pilaeten, Michaël. author.

(1)

Pinho, Luís Miguel. editor.

(1)

Pitt-Francis, Joe. author.

(1)

Prevosto, Virgile. editor.

(1)

Proença, José. editor.

(1)

Quiñones, Eduardo. editor.

(1)

Ramler, Rudolf. editor. (orcid)0000-0001-9903-6107

(1)

Reger, Giles. editor.

(1)

Regnell, Björn. author.

(1)

Riese, Jens. editor.

(1)

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

(1)

Roman, Adam. author. (orcid)0000-0002-1020-5128

(1)

Ross, Hans-Leo. author. (orcid)0009-0009-0125-8824

(1)

Rouff, Christopher. author.

(1)

Rumpe, Bernhard. author.

(1)

Runeson, Per. author.

(1)

Sadovykh, Andrey. editor.

(1)

Saha, Barun Kumar. author.

(1)

Sarjoughian, Hessam S. author.

(1)

Seceleanu, Cristina. editor.

(1)

Serrano Mena, Alejandro. author.

(1)

Signoles, Julien. editor.

(1)

Sillitti, Alberto. editor.

(1)

Simpson, David G. author.

(1)

Sirjani, Marjan. editor.

(1)

Stapp, Lucjan. author.

(1)

Strichman, Ofer. editor.

(1)

Succi, Giancarlo. editor.

(1)

Sun, Meng. editor.

(1)

Sánchez, César. editor.

(1)

Südholt, Mario. editor.

(1)

Team, FreeWheel Biz-UI. author.

(1)

Topçu, Okan. author.

(1)

Truscan, Dragos. editor.

(1)

Turhan, Burak. editor.

(1)

Tzoref-Brill, Rachel. editor.

(1)

Varga, Ervin. author.

(1)

Varró, Dániel. editor.

(1)

Wang, K.C. author.

(1)

Welter, Gary. author.

(1)

Wesslén, Anders. author.

(1)

Whiteley, Jonathan. author.

(1)

Wickramasinghe, Nilmini. editor.

(1)

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

(1)

Winkler, Dietmar. editor. (orcid)0000-0002-4743-3124

(1)

Witte, Frank. author.

(1)

Wohlin, Claes. author.

(1)

Wotawa, Franz. editor.

(1)

Xu, Chang. editor.

(1)

Yenigün, Hüsnü. editor.

(1)

Yevtushenko, Nina. editor.

(1)

Yilmaz, Levent. author.

(1)

Yin, Xiaokang. author.

(1)

Yuan, Xin'an. author.

(1)

Zhang, Lu. editor.

(1)

Zhang, Ximin. author.

(1)

Zhang, Zili. editor.

(1)

Zhao, Jianming. author.

(1)

Zheng, Haibin. author.

(1)

Zhu, Yang-Ming. author.

(1)

Ziarek, Lukasz. editor.

(1)

van Sinderen, Marten. editor.

(1)

von Rüden, Klaus. editor.

(1)

Ölveczky, Peter Csaba. editor.

(1)

Language

(83)

Publication Date

-

(28)

(23)

(21)

(10)

(1)

Subject

Software engineering.

(54)

Computer science.

(30)

Artificial intelligence.

(22)

Compilers (Computer programs).

(21)

Compilers and Interpreters.

(21)

Computer networks .

(20)

Computer Science Logic and Foundations of Programming.

(18)

Computer Communication Networks.

(17)

Computer programming.

(15)

Programming Techniques.

(15)

Formal Languages and Automata Theory.

(13)

Machine theory.

(13)

Electronic data processing -- Management.

(12)

(12)

Theory of Computation.

(12)

Computer Modelling.

(10)

Computer simulation.

(10)

Computer programs -- Testing.

(9)

Software Management.

(9)

Software Testing.

(9)

Software engineering -- Management.

(9)

Computational intelligence.

(7)

Computers, Special purpose.

(7)

Electronic digital computers -- Evaluation.

(7)

Special Purpose and Application-Based Systems.

(7)

System Performance and Evaluation.

(7)

(6)

Computer System Implementation.

(5)

Computer systems.

(5)

Control Structures and Microprogramming.

(5)

Microprogramming .

(5)

Application software.

(4)

Computer Engineering and Networks.

(4)

Computer and Information Systems Applications.

(4)

Computer engineering.

(4)

Operating Systems.

(4)

Operating systems (Computers).

(4)

Automotive engineering.

(3)

Computer architecture.

(3)

Computers and Education.

(3)

(3)

Data and Information Security.

(3)

Data protection.

(3)

Education -- Data processing.

(3)

Electronic Circuits and Systems.

(3)

Electronic circuits.

(3)

Electronics and Microelectronics, Instrumentation.

(3)

(3)

Information theory.

(3)

Microprocessors.

(3)

Natural Language Processing (NLP).

(3)

Natural language processing (Computer science).

(3)

Processor Architectures.

(3)

(3)

Programming Language.

(3)

Programming languages (Electronic computers).

(3)

The Computing Profession.

(3)

Bioinformatics.

(2)

Coding and Information Theory.

(2)

(2)

Communications Engineering, Networks.

(2)

Computational Mathematics and Numerical Analysis.

(2)

Computational and Systems Biology.

(2)

Computer Application in Administrative Data Processing.

(2)

Computer science -- Mathematics.

(2)

Information technology -- Management.

(2)

(2)

Mathematical Applications in Computer Science.

(2)

Mathematics -- Data processing.

(2)

Models of Computation.

(2)

Security Science and Technology.

(2)

Security systems.

(2)

Telecommunication.

(2)

Aerospace Technology and Astronautics.

(1)

Aerospace engineering.

(1)

Applications of Mathematics.

(1)

Arithmetic and Logic Structures.

(1)

(1)

Automated Pattern Recognition.

(1)

Biology -- Research.

(1)

Biomedical Devices and Instrumentation.

(1)

Biomedical Research.

(1)

Biomedical engineering.

(1)

(1)

(1)

(1)

Blockchains (Databases).

(1)

Cloud Computing.

(1)

Computer arithmetic and logic units.

(1)

Computer software.

(1)

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

(1)

Computer-aided engineering.

(1)

Computers -- History.

(1)

Control and Systems Theory.

(1)

Control engineering.

(1)

Cooperating objects (Computer systems).

(1)

Cyber-Physical Systems.

(1)

Data Mining and Knowledge Discovery.

(1)

Data Structures and Information Theory.

(1)

(1)

Data structures (Computer science).

(1)

Database management.

(1)

Discrete Mathematics in Computer Science.

(1)

Discrete mathematics.

(1)

Electrical and Electronic Engineering.

(1)

Electrical engineering.

(1)

Engineering design.

(1)

Health Sciences.

(1)

History of Computing.

(1)

Invertebrate Zoology.

(1)

(1)

Java (Computer program language).

(1)

(1)

Machine learning.

(1)

Machines, Tools, Processes.

(1)

(1)

Mathematical Models of Cognitive Processes and Neural Networks.

(1)

Mathematical Software.

(1)

(1)

Mechanical engineering.

(1)

Medical sciences.

(1)

Medicine -- Research.

(1)

Neural networks (Computer science) .

(1)

Numerical analysis.

(1)

(1)

Open source software.

(1)

Pattern recognition systems.

(1)

(1)

(1)

Philosophy of Technology.

(1)

Signal processing.

(1)

Signal, Speech and Image Processing.

(1)

Sociological Methods.

(1)

Sociological Theory.

(1)

Sociology -- Methodology.

(1)

(1)

Sustainability.

(1)

Technology -- Philosophy.

(1)

Traffic engineering.

(1)

Transportation Technology and Traffic Engineering.

(1)

Transportation engineering.

(1)

Material Type

Library

{sortLabel}

	{facetName}	{results}

	{displayName}	{count}
{error}

Switch to list view

Switch to thumbnail view

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

83 Results Found

Subscribe to search results

1 .. 3 4 5 6 7

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.

49.

Cover image for Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Product-Focused Software Process Improvement 18th International Conference, PROFES 2017, Innsbruck, Austria, November 29-December 1, 2017, Proceedings

Author

Felderer, Michael. editor. (orcid)0000-0003-3818-4442 Méndez Fernández, Daniel. editor. Turhan, Burak. editor. Kalinowski, Marcos. editor. (orcid)0000-0003-1445-3425 Sarro, Federica. editor.

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

50.

Cover image for ACS Without an Attitude

ACS Without an Attitude

ACS Without an Attitude

Author

Hallock, Harold L. author. Welter, Gary. author. Simpson, David G. author. Rouff, Christopher. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-1-4471-7325-0

Format:

Availability

Online Library~1

Available:
Copies:

51.

Cover image for Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Formal Aspects of Component Software 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings

Author

Proença, José. editor. Lumpe, Markus. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

52.

Cover image for Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Software Technologies 11th International Joint Conference, ICSOFT 2016, Lisbon, Portugal, July 24-26, 2016, Revised Selected Papers

Author

Cabello, Enrique. editor. Cardoso, Jorge. editor. Ludwig, André. editor. Maciaszek, Leszek A. editor. (orcid)0000-0001-6561-0545 van Sinderen, Marten. editor.

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-62569-0

Format:

Availability

Online Library~1

Available:
Copies:

53.

Cover image for Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

Applications of Evolutionary Computation 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II

Author

Squillero, Giovanni. editor. Sim, Kevin. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

54.

Cover image for Agile Modeling with UML Code Generation, Testing, Refactoring

Agile Modeling with UML Code Generation, Testing, Refactoring

Agile Modeling with UML Code Generation, Testing, Refactoring

Author

Rumpe, Bernhard. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-58862-9

Format:

Availability

Online Library~1

Available:
Copies:

55.

Cover image for Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings

Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings

Software Quality. Complexity and Challenges of Software Engineering in Emerging Technologies 9th International Conference, SWQD 2017, Vienna, Austria, January 17-20, 2017, Proceedings

Author

Winkler, Dietmar. editor. Biffl, Stefan. editor. (orcid)0000-0002-3413-7780 Bergsmann, Johannes. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

https://doi.org/10.1007/978-3-319-49421-0

Format:

Availability

Online Library~1

Available:
Copies:

56.

Cover image for Failure-Modes-Based Software Reading

Failure-Modes-Based Software Reading

Failure-Modes-Based Software Reading

Author

Zhu, Yang-Ming. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

57.

Cover image for Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part II

Author

Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

58.

Cover image for Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

Advances in Computational Intelligence 14th International Work-Conference on Artificial Neural Networks, IWANN 2017, Cadiz, Spain, June 14-16, 2017, Proceedings, Part I

Author

Rojas, Ignacio. editor. Joya, Gonzalo. editor. Catala, Andreu. editor. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

59.

Cover image for Guide to Scientific Computing in C++

Guide to Scientific Computing in C++

Guide to Scientific Computing in C++

Author

Pitt-Francis, Joe. author. Whiteley, Jonathan. author. SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

60.

Cover image for Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers

Author

Hermenegildo, Manuel V. editor. (orcid)0000-0002-7583-323X Lopez-Garcia, Pedro. editor. (orcid)0000-0002-1092-2071 SpringerLink (Online service)

Preferred Shelf Number

ONLINE

Electronic Access

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

Format:

Availability

Online Library~1

Available:
Copies:

Select an Action

Place Hold(s)
Add to My Lists
Email
Print

1 .. 3 4 5 6 7

Copyright 2018 Sirsi Corporation - Enterprise Version 5.0.0.11