Mutation Testing for the New Century
Mutation Testing for the New Century

Author: W. Eric Wong

Publisher: Springer Science & Business Media

Published: 2013-03-09

Total Pages: 129

ISBN-13: 1475759398

DOWNLOAD EBOOK

Extensive research and development has produce mutation tools for languages such as Fortran, Ada, C, and IDL; empirical evaluations comparing mutation with other test adequacy criteria; empirical evidence and theoretical justification for the coupling effect; and techniques for speeding up mutation testing using various types of high performance architectures. Mutation has received the attention of software developers and testers in such diverse areas as network protocols and nuclear simulation. Mutation Testing for the New Century brings together cutting edge research results in mutation testing from a wide range of researchers. This book provides answers to key questions related to mutation and raises questions yet to be answered. It is an excellent resource for researchers, practitioners, and students of software engineering.

Testing of Communicating Systems
Testing of Communicating Systems

Author: Roland Groz

Publisher: Springer

Published: 2004-02-20

Total Pages: 235

ISBN-13: 3540247041

DOWNLOAD EBOOK

This volume contains the proceedings of the 16th IFIP TC6/WG6.1 Inter- tional Conference on Testing of Communicating Systems (TestCom 2004). This conference was held at St Anne's College, Oxford, UK, from March 17 to March 19, 2004. TestCom 2004 was the sixteenth in a series of IFIP-sponsored events that started in 1988. The previous events were held in Vancouver, Canada (1988); B- lin, Germany (1989); McLean, USA (1990); Leidschendam, Netherlands (1991); Montreal, Canada (1992); Pau, France (1993); Tokyo, Japan (1994); Evry, France (1995); Darmstadt, Germany (1996); Cheju Island, Korea (1997); Tomsk, R- sia (1998); Budapest, Hungary (1999); Ottawa, Canada (2000); Berlin, Germany (2002); and Sophia Antipolis, France (2003). TestCom was not held in 2001 since at this point the conference moved from autumn to spring. TestCom 2004 was organized by Brunel University, UK and LSR-IMAG, France and was sponsored by IFIP. Support was also provided by the Engineering and Physical Sciences Research Council (EPSRC). We are grateful to the keynote speaker, Prof. Sir Tony Hoare, FRS, and our invited speakers for agreeing to address TestCom 2004.

Encyclopedia of Software Engineering Three-Volume Set (Print)
Encyclopedia of Software Engineering Three-Volume Set (Print)

Author: Phillip A. Laplante

Publisher: CRC Press

Published: 2010-11-22

Total Pages: 1441

ISBN-13: 1351249266

DOWNLOAD EBOOK

Software engineering requires specialized knowledge of a broad spectrum of topics, including the construction of software and the platforms, applications, and environments in which the software operates as well as an understanding of the people who build and use the software. Offering an authoritative perspective, the two volumes of the Encyclopedia of Software Engineering cover the entire multidisciplinary scope of this important field. More than 200 expert contributors and reviewers from industry and academia across 21 countries provide easy-to-read entries that cover software requirements, design, construction, testing, maintenance, configuration management, quality control, and software engineering management tools and methods. Editor Phillip A. Laplante uses the most universally recognized definition of the areas of relevance to software engineering, the Software Engineering Body of Knowledge (SWEBOK®), as a template for organizing the material. Also available in an electronic format, this encyclopedia supplies software engineering students, IT professionals, researchers, managers, and scholars with unrivaled coverage of the topics that encompass this ever-changing field. Also Available Online This Taylor & Francis encyclopedia is also available through online subscription, offering a variety of extra benefits for researchers, students, and librarians, including: Citation tracking and alerts Active reference linking Saved searches and marked lists HTML and PDF format options Contact Taylor and Francis for more information or to inquire about subscription options and print/online combination packages. US: (Tel) 1.888.318.2367; (E-mail) [email protected] International: (Tel) +44 (0) 20 7017 6062; (E-mail) [email protected]

Tests and Proofs
Tests and Proofs

Author: Wolfgang Ahrendt

Publisher: Springer Nature

Published: 2020-06-20

Total Pages: 190

ISBN-13: 3030509958

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as part of the 4th World Congress on Formal Methods 2020, Bergen, Norway, in June 2020. The 7 regular papers, 1 short paper and 2 demonstration papers presented in this volume were carefully reviewed and selected from 209 submissions. The TAP conference promotes research in verification and formal methods that targets the interplay of proofs and testing: the advancement of techniques of each kind and their combination, with the ultimate goal of improving software and system dependability.

Reliability and Risk Assessment in Engineering
Reliability and Risk Assessment in Engineering

Author: Vijay Kumar Gupta

Publisher: Springer Nature

Published: 2020-05-08

Total Pages: 523

ISBN-13: 9811537461

DOWNLOAD EBOOK

This volume is a collection of articles on reliability and safety engineering presented during INCRS 2018. The articles cover a variety of topics such as big data analytics and their applications in reliability assessment and condition monitoring, health monitoring, management, diagnostics and prognostics of mechanical systems, design for reliability and optimization, and machine learning for industrial applications. A special aspect of this volume is the coverage of performance, failure and reliability issues in electrical distribution systems. This book will be a useful reference for graduate students, researchers and professionals working in the area of reliability assessment, condition monitoring and predictive maintenance.

Product-Focused Software Process Improvement
Product-Focused Software Process Improvement

Author: Jürgen Münch

Publisher: Springer Science & Business Media

Published: 2007-06-21

Total Pages: 425

ISBN-13: 3540734597

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 8th International Conference on Product Focused Software Process Improvement, PROFES 2007, held in Riga, Latvia in July 2007. The 29 revised full papers presented together with 4 reports on workshops and tutorials and 4 keynote addresses were carefully reviewed and selected from 55 submissions. The papers constitute a balanced mix of academic and industrial aspects; they are organized in topical sections on global software development, software process improvement, software process modeling and evolution, industrial experiences, agile software development, software measurement, simulation and decision support, processes and methods.

Smart Trends in Information Technology and Computer Communications
Smart Trends in Information Technology and Computer Communications

Author: Aynur Unal

Publisher: Springer

Published: 2016-12-24

Total Pages: 942

ISBN-13: 9811034338

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Conference on Smart Trends in Information Technology and Computer Communications, SmartCom 2016, held in Jaipur, India, in August 2016. The 106 revised papers presented were carefully reviewed and selected from 469 submissions. The papers address issues on smart and secure systems; technologies for digital world; data centric approaches; applications for e-agriculture and e-health; products and IT innovations; research for knowledge computing.

Optimization of Automated Software Testing Using Meta-Heuristic Techniques
Optimization of Automated Software Testing Using Meta-Heuristic Techniques

Author: Manju Khari

Publisher: Springer Nature

Published: 2022-09-26

Total Pages: 189

ISBN-13: 3031072979

DOWNLOAD EBOOK

This book provides awareness of different evolutionary methods used for automatic generation and optimization of test data in the field of software testing. While the book highlights on the foundations of software testing techniques, it also focuses on contemporary topics for research and development. This book covers the automated process of testing in different levels like unit level, integration level, performance level, evaluation of testing strategies, testing in security level, optimizing test cases using various algorithms, and controlling and monitoring the testing process etc. This book aids young researchers in the field of optimization of automated software testing, provides academics with knowledge on the emerging field of AI in software development, and supports universities, research centers, and industries in new projects using AI in software testing. ​Supports the advancement in the artificial intelligence used in software development; Advances knowledge on artificial intelligence based metaheuristic approach in software testing; Encourages innovation in traditional software testing field using recent artificial intelligence. ·

Computer Networks and Information Technologies
Computer Networks and Information Technologies

Author: Vinu V Das

Publisher: Springer

Published: 2011-03-15

Total Pages: 689

ISBN-13: 3642195423

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Conference on Advances in Communication, Network, and Computing, CNC 2011, held in Bangalore, India, in March 2011. The 41 revised full papers, presented together with 50 short papers and 39 poster papers, were carefully reviewed and selected for inclusion in the book. The papers feature current research in the field of Information Technology, Networks, Computational Engineering, Computer and Telecommunication Technology, ranging from theoretical and methodological issues to advanced applications.

Encyclopedia of Information Science and Technology, Third Edition
Encyclopedia of Information Science and Technology, Third Edition

Author: Khosrow-Pour, Mehdi

Publisher: IGI Global

Published: 2014-07-31

Total Pages: 7972

ISBN-13: 1466658894

DOWNLOAD EBOOK

"This 10-volume compilation of authoritative, research-based articles contributed by thousands of researchers and experts from all over the world emphasized modern issues and the presentation of potential opportunities, prospective solutions, and future directions in the field of information science and technology"--Provided by publisher.