TY - BOOK AU - Borba,Paulo ED - Pernambuco Summer School on Software Engineering ED - SpringerLink (Online service) TI - Testing techniques in software engineering: Second Pernambuco Summer School on Software Engineering, PSSE 2007, Recife, Brazil, December 3-7, 2007 : revised lectures SN - 9783642143359 (electronic bk.) AV - QA76.76.T48 P47 2007 U1 - 005.14 22 PY - 2010/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer software KW - Testing KW - Congresses KW - Software engineering KW - Computer Science KW - Software Engineering KW - Programming Techniques KW - Programming Languages, Compilers, Interpreters KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages KW - Management of Computing and Information Systems UR - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-14335-9 ER -