Proceedings of the ... International Symposium on Software Testing and Analysis (ISSTA).
Author :
Publisher :
Page : 208 pages
File Size : 31,87 MB
Release : 1993
Category : Computer software
ISBN :
Software Testing and Analysis
Author : Mauro Pezze
Publisher : John Wiley & Sons
Page : 516 pages
File Size : 18,74 MB
Release : 2008
Category : Computers
ISBN :
Book Description
Teaches readers how to test and analyze software to achieve an acceptable level of quality at an acceptable cost Readers will be able to minimize software failures, increase quality, and effectively manage costs Covers techniques that are suitable for near-term application, with sufficient technical background to indicate how and when to apply them Provides balanced coverage of software testing & analysis approaches By incorporating modern topics and strategies, this book will be the standard software-testing textbook
Foundations of Software Testing: For VTU
Author :
Publisher : Pearson Education India
Page : 768 pages
File Size : 25,51 MB
Release : 2013
Category :
ISBN : 9788131759080
Book Description
Computer Aided Verification
Author : Ganesh Gopalakrishnan
Publisher : Springer Science & Business Media
Page : 778 pages
File Size : 33,31 MB
Release : 2011-07-05
Category : Computers
ISBN : 3642221092
Book Description
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).
Introduction to Software Testing
Author : Paul Ammann
Publisher : Cambridge University Press
Page : 367 pages
File Size : 44,78 MB
Release : 2017
Category : Computers
ISBN : 1107172012
Book Description
This classroom-tested new edition features expanded coverage of the basics and test automation frameworks, with new exercises and examples.
Validation of Evolving Software
Author : Hana Chockler
Publisher : Springer
Page : 216 pages
File Size : 13,83 MB
Release : 2015-07-01
Category : Computers
ISBN : 3319106236
Book Description
This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.
Knowledge-based Software Engineering
Author : Vadim Stefanuk
Publisher : IOS Press
Page : 346 pages
File Size : 12,92 MB
Release : 2004
Category : Computers
ISBN : 9781586034436
Book Description
JCKBSE aims to provide a forum for researchers and practitioners to discuss the latest developments in the areas of knowledge engineering and software engineering. Particular emphasis is placed upon applying knowledge-based methods to software engineering problems. This volume is a collection of contributions of authors from 8 different countries. The book covers a wide range of topics related to knowledge-based or automated software engineering. architecture of knowledge; software and information systems; requirement engineering; domain analysis and modelling; formal and semiformal specifications; knowledge engineering for domain modelling; data mining and knowledge discovery; automating software design and synthesis; object-oriented and other programming paradigms; knowledge-based methods and tools for software engineering, including testing, verification and validation; process management, maintenance and evolution, applied semiotics for knowledge-based software engineering; knowledge systems methodology; development tools and environments; practical applications and experience of software and knowledge engineering; information technology in control, design, production, logistics and management; enterprise modelling and workflow.
Computer Science Handbook
Author : Allen B. Tucker
Publisher : CRC Press
Page : 2742 pages
File Size : 27,13 MB
Release : 2004-06-28
Category : Computers
ISBN : 0203494458
Book Description
When you think about how far and fast computer science has progressed in recent years, it's not hard to conclude that a seven-year old handbook may fall a little short of the kind of reference today's computer scientists, software engineers, and IT professionals need. With a broadened scope, more emphasis on applied computing, and more than 70 chap
Search-Based Software Engineering
Author : Márcio Barros
Publisher : Springer
Page : 362 pages
File Size : 17,39 MB
Release : 2015-07-27
Category : Computers
ISBN : 3319221833
Book Description
This book constitutes the refereed proceedings of the 7th International Symposium on Search-Based Software Engineering, SSBSE 2015, held in Bergamo, Italy, in September 2015. The 12 revised full papers presented together with 2 invited talks, 4 short papers, 2 papers of the graduate track, and 13 challenge track papers were carefully reviewed and selected from 51 submissions. Search Based Software Engineering (SBSE) studies the application of meta-heuristic optimization techniques to various software engineering problems, ranging from requirements engineering to software testing and maintenance.
ISSTA: International Symposium on Software Testing and Analysis
Author :
Publisher :
Page : pages
File Size : 22,64 MB
Release :
Category :
ISBN :
