Structured Object-Oriented Formal Language and Method
Springer International Publishing (Verlag)
978-3-030-41417-7 (ISBN)
Testing and Debugging.- Analysis and remodeling of the DirtyCOW vulnerability by debugging and abstraction.- A Formal Technique for Concurrent Generation of Software Functional and Security Requirements in SOFL Specifications.- Distortion and Faults in Machine Learning Software.- A divide & conquer approach to testing concurrent Java programs with JPF and Maude.- Formal Verification.- An approach to modeling and verifying multi-level interrupt systems with TMSVL.- Towards Formal Verification of Neural Networks: A Temporal Logic Based Framework.- UMC4M: a Verification Tool via Program Execution.- Parallel Runtime Verification Approach for Alternate Execution of Multiple Threads.- A Planning Approach based on APTL.- Solving Constraint optimization Problems Based on Mathematica and Abstraction.- A Forward Chaining Heuristic Search with Spatio-Temporal Control Knowledge.- Formal Development and Verification of Reusable Component in PAR Platform.- Formal Specification & Modeling.- A New Mutant Generation Algorithm based on Basic Path Coverage for Mutant Reduction.- Formal Specification and Model Checking of a Ride-sharing System in Maude.- Model Checking Python Programs with MSVL.- Software Analysis and Evolution.- Prediction of Function Removal Propagation in Linux Evolution.- Regression Models for Performance Ranking of Configurable Systems: A Comparative Study.- Combining Model Learning and Model Checking to Analyze Java Libraries.- Data Provenance Based System for Classification and Linear Regression in Distributed Machine Learning.- Software Analysis and Testing.- Metamorphic Testing in Fault Localization of Model Transformations.- A Fault Localization Method Based on Dynamic Failed Execution Blocks.- Adaptive Random Testing by Bisection and Comprehensive Distance.- CMM: A Combination-based Mutation Method For SQL Injection.
Erscheinungsdatum | 23.02.2020 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science | Theoretical Computer Science and General Issues |
Zusatzinfo | IX, 364 p. 174 illus., 64 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 575 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Betriebssysteme / Server |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Applications • Architecting • architecture verification and validation • Artificial Intelligence • Computer Hardware • Computer Networks • computer programming • Computer Science • Computer systems • conference proceedings • distributed computer systems • Embedded Systems • Engineering • Formal Logic • Informatics • Internet • Mathematics • object-oriented programming • Research • Software • software architecture • Software Design • Software engineering • Software Quality |
ISBN-10 | 3-030-41417-5 / 3030414175 |
ISBN-13 | 978-3-030-41417-7 / 9783030414177 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich