Path Exploration Based on Symbolic Output

ACM Transactions on Software Engineering and Methodology - United States
doi 10.1145/2522920.2522925
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Based on the “Internet Plus” Era of Enterprise Management Innovation Path Exploration

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2016English

Symbolic Simulation on Complicated Loops for WCET Path Analysis

2011English

Path Dependence in Aggregate Output

1991English

Exploration on the Implementation Path of “Course-Based Ideological and Political Education” in College English

2019English

Test Generation Based on Symbolic Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Symbolic Computations Based on Grid Services

International Journal of Computers, Communications and Control
MathematicsComputer NetworksComputer Science ApplicationsComputational TheoryCommunications
2006English

Model-Based Testing From Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Sleep Electroencephalogram Analysis Based on Symbolic Transfer Entropy

2013English

Path Planning Based on Parametric Curves

2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy