The proceedings contain 24 papers from the conference on the acmsigsoft 2000 internationalsymposium on softwaretesting and analysis. The topic discussed include: finding bugs with a constraint solver;automated test...
详细信息
ISBN:
(纸本)1581132662
The proceedings contain 24 papers from the conference on the acmsigsoft 2000 internationalsymposium on softwaretesting and analysis. The topic discussed include: finding bugs with a constraint solver;automated testing of classes;UML-based integration testing;requirements-based monitors for real-time systems;classification schemes to aid in the analysis of real-time systems;verifying properties of process definitions and prioritizing test cases for regression testing.
The proceedings contain 31 papers from the conference on Proceedings of the acmsigsoft: internationalsymposium on softwaretesting and analysis. Topics discussed include: model checking Java programs using structura...
详细信息
ISBN:
(纸本)1581135629
The proceedings contain 31 papers from the conference on Proceedings of the acmsigsoft: internationalsymposium on softwaretesting and analysis. Topics discussed include: model checking Java programs using structural heuristics;evaluating the precision of static reference analysis using profiling;the distribution of faults in a large industrial software system;efficient instrumentation of code coverage testing and dependence analysis in reduction of requirement based test suites.
The proceedings contain 28 papers from ISSTA 2004 - Proceedings of the acm sigsoft international symposium on software testing and analysis. The topics discussed include: static and dynamic analysis of call chains in ...
详细信息
ISBN:
(纸本)1581138202
The proceedings contain 28 papers from ISSTA 2004 - Proceedings of the acm sigsoft international symposium on software testing and analysis. The topics discussed include: static and dynamic analysis of call chains in Java;testing malware detectors;an experimental evaluation of continuous testing during development;evolutionary testing of classes;automated black-box testing of functional correctness using function approximation;modeling and verification of an air traffic concept of operations;improving the adaptability of multi-mode systems via program steering;faster constraint solving with subtypes;and a formal approach for modeling and verification of RTCORBA-based applications.
The proceedings contain 26 papers. The topics discussed include: automatic verification of requirements implementation;Aslantest: a symbolic execution tool for testing Asian formal specifications;an automated tool for...
ISBN:
(纸本)0897916832
The proceedings contain 26 papers. The topics discussed include: automatic verification of requirements implementation;Aslantest: a symbolic execution tool for testing Asian formal specifications;an automated tool for analyzing completeness of equational specifications;generating test suites for software load testing;generating a test oracle from program documentation;forward computation of dynamic program slices;applications of feasible path analysis to program testing;test data generation and feasible path analysis;and protocol testing: review of methods and relevance for softwaretesting.
The proceedings contain 3 papers. The topics discussed include: a framework for the competitive evaluation of model inference techniques;angluin style finite state machine inference with non-optimal counterexamples;an...
ISBN:
(纸本)9781450301473
The proceedings contain 3 papers. The topics discussed include: a framework for the competitive evaluation of model inference techniques;angluin style finite state machine inference with non-optimal counterexamples;and reverse engineering ECUs of automotive components - a case study.
The proceedings contain 7 papers. The topics discussed include: a runtime environment for online processing of operating system kernel events;using AOP for detailed runtime monitoring instrumentation;Tiddle: a trace d...
ISBN:
(纸本)9781605586564
The proceedings contain 7 papers. The topics discussed include: a runtime environment for online processing of operating system kernel events;using AOP for detailed runtime monitoring instrumentation;Tiddle: a trace description language for generating concurrent benchmarks to test dynamic analyses;(quickly) testing the tester via path coverage;test case filtering and prioritization based on coverage of combinations of program elements;cooperative crug isolation;and limits of parallelism using dynamic dependency graphs.
The proceedings contain 38 papers. The topics discussed include: lightweight verification of array indexing;eliminating timing side-channel leaks using program repair;symbolic path cost analysis for side-channel detec...
ISBN:
(纸本)9781450356992
The proceedings contain 38 papers. The topics discussed include: lightweight verification of array indexing;eliminating timing side-channel leaks using program repair;symbolic path cost analysis for side-channel detection;safe and sound program analysis with flix;test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach;automated test mapping and coverage for network topologies;evaluating test-suite reduction in real software evolution;compiler fuzzing through deep learning;identifying implementation bugs in machine learning based image classifiers using metamorphic testing;and automatically translating bug reports into test cases for mobile apps.
The proceedings contain 30 papers. The topics discussed include: using perturbation analysis to measure variation in the information content of test sets;issues in the full scale use of formal methods for automated te...
ISBN:
(纸本)0897917871
The proceedings contain 30 papers. The topics discussed include: using perturbation analysis to measure variation in the information content of test sets;issues in the full scale use of formal methods for automated testing;test and analysis of software architectures;structural specification-based testing with ADL;separate computation of alias information for reuse;an incremental approach to structural testing of concurrent software;predicting dependability by testing;improving the accuracy of Petri net-based analysis of concurrent programs;experiences and lessons from the analysis of TCAS II;Daistish: systematic algebraic testing for OO programs in the presence of side-effects;generating functional test cases in-the-large for time-critical systems from logic-based specifications;linear and structural event sequence analysis;an efficient state space generation for analysis of real-time systems;experiences and lessons from the analysis of TCAS II;critical slicing for software fault localization;unconstrained Duas and their use in achieving all-uses coverage;software error analysis: a real case study involving real faults and mutations;and generation of multi-formalism state-space analysis tools.
The proceedings contain 55 papers. The topics discussed include: reinforcement learning for automatic test case prioritization and selection in continuous integration;PerfRanker: prioritization of performance regressi...
ISBN:
(纸本)9781450350761
The proceedings contain 55 papers. The topics discussed include: reinforcement learning for automatic test case prioritization and selection in continuous integration;PerfRanker: prioritization of performance regression tests for collection-intensive software;compiler-assisted test acceleration on GPUs for embedded software;targeted property-based testing;accelerating array constraints in symbolic execution;improving the cost-effectiveness of symbolic testing techniques for transport protocol implementations under packet dynamics;combining symbolic execution and search-based testing for programs with complex heap inputs;efficient computation of happens-before relation for event-driven programs;automatic detection and validation of race conditions in interrupt-driven embedded software;and semi-automated discovery of server-based information oversharing vulnerabilities in android applications.
The proceedings contain 58 papers. The topics discussed include: identifying privacy weaknesses from multi-party trigger-action integration platforms;WebEvo: taming web application evolution via detecting semantic str...
ISBN:
(纸本)9781450384599
The proceedings contain 58 papers. The topics discussed include: identifying privacy weaknesses from multi-party trigger-action integration platforms;WebEvo: taming web application evolution via detecting semantic structure changes;modular call graph construction for security scanning of *** applications;attack as defense: characterizing adversarial examples using robustness;exposing previously undetectable faults in deep neural networks;DeepCrime: mutation testing of deep learning systems based on real faults;DeepHyperion: exploring the feature space of deep learning-based systems through illumination search;automatic test suite generation for key-points detection DNNs using many-objective search;efficient white-box fairness testing through gradient search;and an infrastructure approach to improving effectiveness of android UI testing tools.
暂无评论