Testing: Academic and Industrial Conference - Practice and Research Techniques: 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings
Leonardo Bottaci, Gordon Fraser
Springer Science & Business Media, Aug 30, 2010 - Computers - 219 pages
A Message from the TAIC PART 2010 General Chair TAIC PART is a unique event that strives to combine aspects of a conference, a workshop and a retreat. Its purpose is to bring together industrialists and academics in an environment that promotes fundamental collaborationon pr- lems in software testing. Among the wide range of topics in computer science andsoftwareengineering,softwaretesting is anidealcandidatefor academicand industrialcollaborationbecauseadvancesinresearchcanhavesuchwide-ranging and far-reaching implications for industry. Conversely, the advances in comp- ing and communications technology and the growth of the associated software engineering activity are producing new researchchallengesat an increasing rate. The problems that arise in software testing are related to the problems that ariseinmanyotherareasofcomputing.Assuch,testingresearchcombinesawide range of elements encompassing the theoretical work of program analysis and formal methods and the associated representations such as ?nite-state machines and dependence graphs. The inherent complexity of software testing has led to the involvement of heuristic methods. Software testing is also a human activity and has thus seen the involvement of psychology,sociologyand even philosophy. This astonishing breadth and depth have made the problems of software testing appealing to academics for several decades.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Other editions - View all
actions algorithm API element application approach automated automatically behavior Berlin Heidelberg 2010 Bottaci and G boundary value boundary value analysis call graphs Computer constraint debugging deﬁned deﬁnition detection diagnosis candidates diﬀerent distinguishing test eﬀects Erlang error Etomcrl2 evaluate example execution fault injection fault localization ﬁltering ﬁnd ﬁrst framework Fraser Eds function grammar Heidelberg iCalendar IEEE implementation independent bad pairs inference injection inp1 inp2 interface Java JUnit Last accessed LNCS markup MBVC McErlang method Microsoft model components model-based testing model-checkers modiﬁed module multithreaded mutation analysis tools mutation operators node NUnit OSGi output parameters protocol refactorings Section server Software Engineering Software Testing source code speciﬁcation statements TAIC PART 2010 techniques TeCReVis test code test coverage test data test model test set test suite testability testers transition unit testing variables veriﬁcation visualization Web services xUnit