|
|
|
|
LEADER |
04776nmm a2200409 u 4500 |
001 |
EB001907855 |
003 |
EBX01000000000000001070757 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
210123 ||| eng |
020 |
|
|
|a 0128001623
|
020 |
|
|
|a 9780128003268
|
020 |
|
|
|a 012800326X
|
050 |
|
4 |
|a QA76
|
100 |
1 |
|
|a Memon, Atif M.
|
245 |
0 |
0 |
|a Advances in computers, Volume ninety three
|c [edited by] Atif Memon
|
260 |
|
|
|a [Waltham, Mass.?]
|b Academic Press
|c 2014
|
300 |
|
|
|a 1 volume
|b illustrations
|
505 |
0 |
|
|a Half Title; Title Page; Copyright; Contents; Contributors; Preface; 1 Recent Advances in Web Testing; 1 Introduction; 1.1 Running Example; 1.2 Key Problems in Web Testing; 1.3 Structure of the Chapter; 2 Model Construction; 2.1 UML Models; 2.2 FSM Models; 2.3 Identification of Logical Web Pages; 3 Input Generation; 3.1 Manual Techniques; 3.2 (Semi-)automatic Techniques; 3.2.1 Hidden Web Crawlers; 3.2.2 Automating Equivalence Partitioning and Boundary Value Analysis; 3.2.3 Fuzz Testing; 3.2.4 User-Session-Based Techniques; 3.2.5 Symbolic Execution and Constraint Solving Techniques; 4 Metrics
|
505 |
0 |
|
|a 3.3.2 Sampling Challenges4 Hardware Monitoring in Software Engineering; 4.1 Path Profiling and Trace Selection; 4.2 Dynamic Optimization; 4.3 Software Testing; 4.3.1 Branch Coverage via Hardware Monitoring; 4.3.1.1 Enabling Fall-Through Visibility; 4.3.1.2 User-level Branch Vector Access; 4.3.1.3 Improving Branch Coverage; 4.3.1.4 Empirical Evaluation; 4.3.2 Statement Coverage via Hardware Monitoring; 4.3.3 THeME for Smartphones and Tablets; 5 Discussion and Future Directions; 5.1 Software Engineering Applications; 5.2 Future Challenges in Software Engineering; 6 Conclusions; References
|
505 |
0 |
|
|a About the Author3 Advances in Model-Driven Security; 1 Introduction; 2 Model-Driven Engineering; 2.1 Models, Metamodels, and Model Transformations; 2.2 Model-Driven Engineering Approaches; 2.2.1 Model-Driven Architecture; 2.2.2 Domain Specific Modeling; 2.2.3 Multi-Paradigm Modeling; 2.2.4 Aspect-Oriented Modeling; 3 Model-Driven Security; 3.1 A Brief History of Mds; 3.2 Evaluation Taxonomy; 4 Evaluation of Current Model-Driven Security Approaches; 4.1 UMLsec; 4.2 SecureUML; 4.3 Sectet; 4.4 ModelSec; 4.5 SecureMDD; 5 Discussion; 5.1 Evaluation Synthesis; 5.2 Threats to the Validity of Mds
|
505 |
0 |
|
|a 4.1 Adequacy Metrics4.2 Crawlability Metrics; 5 Rich Client; 5.1 Dynamic Analysis; 5.2 Model Mining; 5.3 RIA Testing; 6 Conclusion; References; About the Authors; 2 Exploiting Hardware Monitoring in Software Engineering; 1 Introduction; 2 Reducing the Overhead of Program Monitoring; 3 Foundations in Hardware Monitoring; 3.1 Hardware Monitoring on Commodity Devices; 3.2 Debugging and Advanced Hardware Mechanisms; 3.2.1 Last Branch Record (LBR); 3.2.2 Branch Trace Store (BTS); 3.2.3 Precise Event Based Sampling (PEBS); 3.3 Tools for Exploiting HPMs; 3.3.1 User-Level HPM Access
|
505 |
0 |
|
|a 5.3 Relevant Open Issues5.3.1 Choice of Modeling Paradigms; 5.3.2 Security Concerns and Corresponding Metamodel; 5.3.3 Choice of Modeling Languages; 6 Related Work; 7 Conclusion; List of Acronyms; References; About the Authors; 4 Adapting Multi-Criteria Decision Analysis for Assessing the Quality of Software Products. Current Approaches and Future Perspectives; 1 Introduction; 1.1 Motivation; 1.2 Research Objectives and Scope; 1.3 Structure of the Chapter; 2 Background; 2.1 Software Quality Modeling and Assessment; 2.2 Decision Making and Multi-Criteria Decision Analysis
|
505 |
0 |
|
|a Includes bibliographical references and indexes
|
653 |
|
|
|a Electronic data processing / fast
|
653 |
|
|
|a Computer science / http://id.loc.gov/authorities/subjects/sh89003285
|
653 |
|
|
|a Computer science / fast
|
653 |
|
|
|a Electronic data processing / http://id.loc.gov/authorities/subjects/sh85042288
|
653 |
|
|
|a Electronic Data Processing
|
653 |
|
|
|a Informatique
|
041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
989 |
|
|
|b OREILLY
|a O'Reilly
|
776 |
|
|
|z 9780128001622
|
856 |
4 |
0 |
|u https://learning.oreilly.com/library/view/~/9780128001622/?ar
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 005.12
|
082 |
0 |
|
|a 500
|
520 |
|
|
|a Since 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 significant, lasting value in this rapidly expanding field. In-depth surveys and tutorials on new computer technologyWell-known authors and researchers in the field<
|