Works matching DE "EXECUTION traces (Computer program testing)"

Results: 29

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:

Wehrle, Martin;
Kupferschmid, Sebastian

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:

Podlovchenko, R. I.

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:

Barr, Earl T.;
Harman, Mark;
McMinn, Phil;
Shahbaz, Muzammil;
Yoo, Shin

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:

Jomeiri, Alireza

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:

Deutch, Daniel;
Milo, Tova

Publication type:

Article

Verification of Scheduling Properties Based on Execution Traces.

Published in:

Ada User Journal, 2018, v. 39, n. 4, p. 291

By:

Nicolas, Valérie-Anne;
Lallali, Mounir;
Rubini, Stéphane;
Singhoff, Frank

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

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:

Wiklund, Kristian;
Eldh, Sigrid;
Sundmark, Daniel;
Lundqvist, Kristina

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:

Di Nardo, Daniel;
Alshahwan, Nadia;
Briand, Lionel;
Labiche, Yvan

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:

Andrés, César;
Merayo, Mercedes G.;
Núñez, Manuel

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:

Carlton, Gregory H.;
Kessler, Gary C.

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:

Cohen, Fred

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:

Ferlin, A.;
Wiels, V.;
Bon, P.

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:

Mahmoud, Anas;
Niu, Nan

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:

Sultanov, Hakim;
Hayes, Jane Huffman;
Wei-Keat Kong

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:

Qu, Bo;
Wei, Jiaolong;
Tang, Zuping;
Yan, Tao;
Zhou, Zhihui

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:

Weimer, Westley;
Mishra, Nina

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:

Horia, Demian

Publication type:

Article

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:

Bousse, Erwan;
Mayerhofer, Tanja;
Combemale, Benoit;
Baudry, Benoit

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:

Maoz, Shahar;
Harel, David

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:

Gil-Yong Lee;
Nam-Yeol Yun;
Sung-Chul Lee;
Soo-Hyun Park

Publication type:

Article

Statistic-Based Dynamic Complexity Measurement for Web Service System.

Published in:

Informatica (03505596), 2016, v. 40, n. 3, p. 325

By:

Chengying Mao

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:

Santone, Antonella;
Vaglini, Gigliola

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:

Hussain, Muhammad;
Qasem, Sahar;
Bebis, George;
Muhammad, Ghulam;
Aboalsamh, Hatim;
Mathkour, Hassan

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:

Setiadi, Theodorus E.;
Akihiko Ohsuga;
Mamoru Maekawa

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:

Ryckbosch, Frederick;
Diwan, Amer

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:

ROŞU, Grigore

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:

Mokritsky, Vadim A.;
Zorilo, Victoria V.

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:

Zeyda, Frank;
Lalkhumsanga, Lalkhumsanga;
Cavalcanti, Ana;
Wellings, Andy

Publication type:

Article