Works matching DE "EXECUTION traces (Computer program testing)"
Results: 29
Advanced and efficient execution trace management for executable domain-specific modeling languages.
- Published in:
- Software & Systems Modeling, 2019, v. 18, n. 1, p. 385, doi. 10.1007/s10270-017-0598-5
- By:
- Publication type:
- Article
On tracing reactive systems.
- Published in:
- Software & Systems Modeling, 2011, v. 10, n. 4, p. 447, doi. 10.1007/s10270-010-0151-2
- By:
- Publication type:
- Article
The Oracle Problem in Software Testing: A Survey.
- Published in:
- IEEE Transactions on Software Engineering, 2015, v. 41, n. 5, p. 507, doi. 10.1109/TSE.2014.2372785
- By:
- Publication type:
- Article
Inductive limits, unique traces and tracial rank zero.
- Published in:
- Bulletin of the London Mathematical Society, 2007, v. 39, n. 3, p. 377, doi. 10.1112/blms/bdm007
- Publication type:
- Article
Supporting requirements to code traceability through refactoring.
- Published in:
- Requirements Engineering, 2014, v. 19, n. 3, p. 309, doi. 10.1007/s00766-013-0197-0
- By:
- Publication type:
- Article
Application of swarm techniques to requirements tracing.
- Published in:
- Requirements Engineering, 2011, v. 16, n. 3, p. 209, doi. 10.1007/s00766-011-0121-4
- By:
- Publication type:
- Article
Privately Finding Specifications.
- Published in:
- IEEE Transactions on Software Engineering, 2008, v. 34, n. 1, p. 21, doi. 10.1109/TSE.2007.70744
- By:
- Publication type:
- Article
DETECTION OF DIGITAL IMAGE BLURRING TRACES.
- Published in:
- Informatics & Mathematical Methods in Simulation / Informatika ta Matematičnì Metodi v Modelûvannì, 2011, v. 1, n. 3, p. 220
- By:
- Publication type:
- Article
Circus Models for Safety-Critical Java Programs.
- Published in:
- Computer Journal, 2014, v. 57, n. 7, p. 1046, doi. 10.1093/comjnl/bxt060
- By:
- Publication type:
- Article
Type inference and type checking for queries over execution traces.
- Published in:
- VLDB Journal International Journal on Very Large Data Bases, 2012, v. 21, n. 1, p. 51, doi. 10.1007/s00778-011-0234-x
- By:
- Publication type:
- Article
Verification of Scheduling Properties Based on Execution Traces.
- Published in:
- Ada User Journal, 2018, v. 39, n. 4, p. 291
- By:
- Publication type:
- Article
Evaluation of Image Forgery Detection Using Multi-Scale Weber Local Descriptors.
- Published in:
- International Journal on Artificial Intelligence Tools, 2015, v. 24, n. 4, p. -1, doi. 10.1142/s0218213015400163
- By:
- Publication type:
- Article
Validation Tools in Software Testing Process: A Comparative Study.
- Published in:
- International Journal of Advanced Research in Computer Science, 2014, v. 5, n. 7, p. 26
- By:
- Publication type:
- Article
On Safety Properties and Their Monitoring.
- Published in:
- Scientific Annals of Computer Science, 2012, v. 22, n. 2, p. 327, doi. 10.7561/SACS.2012.2.327
- By:
- Publication type:
- Article
Statistical Automaton for Verifying Temporal Properties and Computing Information on Traces.
- Published in:
- International Journal of Computers, Communications & Control, 2016, v. 11, n. 5, p. 645, doi. 10.15837/ijccc.2016.5.2148
- By:
- Publication type:
- Article
Downward pattern refinement for timed automata.
- Published in:
- International Journal on Software Tools for Technology Transfer, 2016, v. 18, n. 1, p. 41, doi. 10.1007/s10009-014-0346-x
- By:
- Publication type:
- Article
Technique of traces in solving the equivalence problem in algebraic program models.
- Published in:
- Cybernetics & Systems Analysis, 2009, v. 45, n. 5, p. 692, doi. 10.1007/s10559-009-9139-8
- By:
- Publication type:
- Article
Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system.
- Published in:
- Software Testing: Verification & Reliability, 2015, v. 25, n. 4, p. 371, doi. 10.1002/stvr.1572
- By:
- Publication type:
- Article
Formal passive testing of timed systems: theory and tools.
- Published in:
- Software Testing: Verification & Reliability, 2012, v. 22, n. 6, p. 365, doi. 10.1002/stvr.1464
- By:
- Publication type:
- Article
TRACEABILITY IN STOCK MANAGEMENT SYSTEMS.
- Published in:
- Annals of the University of Oradea, Economic Science Series, 2009, v. 18, n. 4, p. 927
- By:
- Publication type:
- Article
Analyzing performance traces using temporal formulas.
- Published in:
- Software: Practice & Experience, 2014, v. 44, n. 7, p. 777, doi. 10.1002/spe.2256
- By:
- Publication type:
- Article
Efficient Test Case Generation for Detecting Race Conditions.
- Published in:
- IAENG International Journal of Computer Science, 2014, v. 41, n. 2, p. 32
- By:
- Publication type:
- Article
Statistic-Based Dynamic Complexity Measurement for Web Service System.
- Published in:
- Informatica (03505596), 2016, v. 40, n. 3, p. 325
- By:
- Publication type:
- Article
Analysis of Combined Effects of Multipath and CW Interference on Coherent Delay Lock Loop.
- Published in:
- Wireless Personal Communications, 2014, v. 77, n. 3, p. 2213, doi. 10.1007/s11277-014-1634-1
- By:
- Publication type:
- Article
Impediments for software test automation: A systematic literature review.
- Published in:
- Software Testing: Verification & Reliability, 2017, v. 27, n. 8, p. n/a, doi. 10.1002/stvr.1639
- By:
- Publication type:
- Article
Model Checking Properties on Reduced Trace Systems.
- Published in:
- Algorithms, 2014, v. 7, n. 3, p. 339, doi. 10.3390/a7030339
- By:
- Publication type:
- Article
Identifying Trace Evidence from Target-Specific Data, Wiping Application Software.
- Published in:
- Journal of Digital Forensics, Security & Law, 2012, v. 7, n. 2, p. 113
- By:
- Publication type:
- Article
Identifying and Attributing Similar Traces with Greatest Common Factor Analysis.
- Published in:
- Journal of Digital Forensics, Security & Law, 2012, v. 7, n. 2, p. 89
- By:
- Publication type:
- Article
A Smart Electronic Tagging System Based on Context Awareness and Machine-to-Machine Interworking.
- Published in:
- International Journal of Distributed Sensor Networks, 2013, p. 1, doi. 10.1155/2013/392083
- By:
- Publication type:
- Article