MARC record from Internet Archive

LEADER: 06279cam 2200685 a 4500
001 ocn839556820
003 OCoLC
005 20220301174327.0
008 130416s2013 ne ob 001 0 eng d
006 m o d
007 cr cnu---unuuu
040 $aN$T$beng$epn$cN$T$dOPELS$dYDXCP$dOCLCF$dDEBSZ$dCDX$dOCLCQ$dDEBBG$dGILDS$dD6H$dOCLCA$dLEAUB$dOL$$dHS0$dOCLCQ$dS2H$dOCLCO
019 $a843402455
020 $a9780124081147$q(electronic bk.)
020 $a0124081142$q(electronic bk.)
020 $z9780124080942
020 $z0124080944
035 $a(OCoLC)839556820$z(OCoLC)843402455
050 4 $aQA76.9.U83
072 7 $aCOM$x051230$2bisacsh
072 7 $aCOM$x051240$2bisacsh
082 04 $a005.12$223
245 00 $aAdvances in computers.$nVolume 89 /$cedited by Ali Hurson.
260 $aAmsterdam ;$aBoston :$bAcademic Press,$c©2013.
300 $a1 online resource
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
504 $aIncludes bibliographical references and index.
588 0 $aPrint version record.
520 $aSince its first volume in 1960, Advances in Computers has presented detailed coverage of innovations in computer hardware, software, theory, design, and applications. It has also provided contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. As a result, many articles have become standard references that continue to be of sugnificant, lasting value in this rapidly expanding field. In-depth surveys and tutorials on new computer technologyWell-known authors and researchers in the fieldExtensive bibliographies with most chaptersMany of the volumes are devoted to single themes or subfields of computer science.
505 0 $aHalf Title; Title Page; Copyright; Contents; Preface; Testing Android Mobile Applications: Challenges, Strategies, and Approaches; 1 Introduction; 2 Evolution of Mobile Applications; 3 Mobile Application Testing Challenges and Perspectives; 4 Overview on the Android Platform and Android Applications; 4.1 A Running Example; 5 Android Applications Testing; 5.1 Unit Testing; 5.1.1 Activity Testing; 5.1.2 Service Testing; 5.1.3 Content Provider Testing; 5.1.4 Broadcast Receiver Testing; 5.2 Integration Testing; 5.3 System Testing; 5.3.1 Simulation Stage of System Testing
505 8 $a5.3.2 Prototyping Stage of System Testing5.3.3 Pre-Production Stage of System Testing; 5.4 Testing the Running Example Application; 5.4.1 Unit Testing; 5.4.2 Integration Testing; 5.4.3 System Testing; 6 Testing Strategies; 6.1 Event-Based Testing Strategies; 6.2 GUI-Based Testing Strategies; 6.3 Random Testing Strategies; 7 Testing the Non-Functional Requirements of Mobile Applications; 7.1 Performance Testing; 7.2 Stress Testing; 7.3 Security Testing; 7.4 Compatibility Testing; 7.5 Usability Testing; 7.6 Accessibility Testing; 8 Tools and Frameworks for Android Testing Automation
505 8 $a9 Concluding RemarksReferences; About the Authors; Regression Testing of Evolving Programs; 1 Introduction; 2 Preliminaries; 2.1 Running Example; 2.2 Program Dependence Analysis; 2.3 Program Slicing; 2.4 Symbolic Execution; 3 Change Impact Analysis; 3.1 Static Change Impact Analysis; 3.2 Dynamic Change Impact Analysis; 3.3 Differential Symbolic Execution; 3.4 Change Granularity; 4 Regression Testing; 4.1 Deterministic Program Behavior; 4.2 Oracle Assumption; 4.3 Code Coverage as Approximation of Adequacy; 5 Reduction of Regression Test Suites; 5.1 Selecting Relevant Test Cases
505 8 $a5.2 Removing Irrelevant Test Cases6 Augmentation of Regression Test Suites; 6.1 Reaching the Change; 6.2 Incremental Test Generation; 6.3 Propagating a Single Change; 6.4 Propagation of Multiple Changes; 6.5 Semantic Approaches to Change Propagation; 6.6 Random Approaches to Change Propagation; 7 Conclusion; References; About the Authors; Model Inference and Testing; 1 Introduction; 2 Definitions and Notations; 2.1 General Notations; 2.2 Finite State Machines; 2.2.1 Deterministic Finite Automaton; 2.2.2 Mealy Machine; 3 Testing Black Box Systems; 4 Passive Learning
505 8 $a4.1 Inferring Models of Software Processes4.2 Generating Software Behavioral Models; 5 Active Learning; 5.1 Angluin Learning Algorithm L; 5.1.1 Observation Table; 5.1.2 The Algorithm L; 5.1.3 Complexity of L; 5.2 DFA Inference of Mealy Models and Possible Optimizations; 5.2.1 Prefix Closure; 5.2.2 Input Determinism; 5.2.3 Independence of Events; 5.3 Mealy Inference; 5.3.1 The Mealy Inference Algorithm LM; 5.3.2 Counterexamples; 5.4 Improved Mealy Inference Algorithm; 5.4.1 Observation Table; 5.4.2 The Algorithm L1; 5.4.3 Example; 5.4.4 Complexity of L1; 5.5 Learning with Dictionaries
650 0 $aGraphical user interfaces (Computer systems)
650 0 $aSystem analysis.
650 7 $aCOMPUTERS$xSoftware Development & Engineering$xGeneral.$2bisacsh
650 7 $aCOMPUTERS$xSoftware Development & Engineering$xSystems Analysis & Design.$2bisacsh
650 7 $aGraphical user interfaces (Computer systems)$2fast$0(OCoLC)fst00946660
650 7 $aSystem analysis.$2fast$0(OCoLC)fst01141385
655 0 $aElectronic books.
655 4 $aElectronic books.
700 1 $aHurson, A. R.
776 08 $iPrint version:$tAdvances in computers. Volume 89$z9780124080942$w(OCoLC)827266708
856 40 $3ebrary$uhttp://site.ebrary.com/id/10685692
856 40 $3EBSCOhost$uhttps://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=564939
856 40 $3MyiLibrary$uhttp://www.myilibrary.com?id=470016
856 40 $3ProQuest Ebook Central$uhttps://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=1167288
856 40 $3ScienceDirect$uhttps://www.sciencedirect.com/science/book/9780124080942
856 40 $3ScienceDirect$uhttps://www.sciencedirect.com/science/bookseries/00652458/89
938 $aCoutts Information Services$bCOUT$n25136188
938 $aEBSCOhost$bEBSC$n564939
938 $aYBP Library Services$bYANK$n10438756
029 1 $aAU@$b000055884696
029 1 $aDEBSZ$b405347847
029 1 $aDEBSZ$b431383766
994 $aZ0$bP4A
948 $hHELD BY P4A - 193 OTHER HOLDINGS