Volltext-Artikel, eBooks und vieles mehr aus dem EBSCO Discovery Service

Das Gesuchte nicht gefunden? Schauen Sie in der Onleihe oder machen Sie einen Kaufvorschlag

Treffer 1 - 20 von 152

1

Path-Oriented Program Analysis
J. C. Huang ; J. C. Huang

Computer software--Devel... Computer software--Devel...
E-Book
2

A Novel Program Analysis Method Based on Execution Path Correlation
Fan, Wenqing ; Zhou, Binbin ; Liang, Hongliang ; et al.
2009 Second International Symposium on Knowledge Acquisition and Modeling Knowledge Acquisition and Modeling, 2009. KAM '09. Second International Symposium on. 2:178-181 Nov, 2009

Konferenz
3

An empirical, path-oriented approach to software analysis and testing
Murrill, Branson W.
In The Journal of Systems & Software 2008 81(2):249-261

Fachzeitschrift
5

Path-Oriented Program Analysis
Huang, J. C.
ISBN 9780521882866 9780511546990.

Buch
6

Automatic test data generation using genetic algorithm and program dependence graphs
Miller, James ; Reformat, Marek ; Zhang, Howard
In Information and Software Technology 2006 48(7):586-605

Fachzeitschrift
7

Path-oriented program analysis
Huang, J. C., 1935- ; Books24x7, Inc. ; Huang, J. C., 1935-

E-Book
8

Goal-oriented test data generation for pointer programs
Gotlieb, Arnaud ; Denmat, Tristan ; Botella, Bernard
In Information and Software Technology 2007 49(9):1030-1044

Fachzeitschrift
9

Efficacy of path-oriented psychological self-help interventions to improve mental health of empty-nest older adults in the Community of China
Wang, Li-Na ; Tao, Hong ; Wang, Mi ; et al.
BMC Psychiatry. November 21, 2019, Vol. 19 Issue 1

Fachzeitschrift
10

Intelligent test case generation based on branch and bound
XING, Ying ; GONG, Yun-zhan ; WANG, Ya-wen ; et al.
In The Journal of China Universities of Posts and Telecommunications April 2014 21(2):91

Fachzeitschrift
11

Speculative Symbolic Execution
Zhang, Yufeng ; Chen, Zhenbang ; Wang, Ji
2012 IEEE 23rd International Symposium on Software Reliability Engineering Software Reliability Engineering (ISSRE), 2012 IEEE 23rd International Symposium on. :101-110 Nov, 2012

Konferenz
12

Goal-oriented test data generation for programs with pointer variables
Gotlieb, A. ; Denmat, T. ; Botella, B.
29th Annual International Computer Software and Applications Conference (COMPSAC'05) Computer Software and Applications Computer Software and Applications Conference, 2005. COMPSAC 2005. 29th Annual International. 1:449-454 Vol. 2 2005

Konferenz
13

Automated Test Data Generation Based on Program Execution
Jun-Yi Li ; Jia-Guang Sun ; Ying-Ping Lu
Fourth International Conference on Software Engineering Research, Management and Applications (SERA'06) Software Engineering Research, Management and Applications, 2006. Fourth International Conference on. :229-236 2006

Konferenz
14

Locking Protocols for Parallel Real-Time Tasks With Semaphores Under Federated Scheduling
Wang, Y. ; Jiang, X. ; Guan, N. ; et al.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst. Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on. 41(9):2877-2890 Sep, 2022

Fachzeitschrift
16

Constraint Reasoning in Path-Oriented Random Testing
Gotlieb, Arnaud ; Petit, Matthieu
2008 32nd Annual IEEE International Computer Software and Applications Conference Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International. :168-171 Jul, 2008

Konferenz
17

Beyond loop bounds: comparing annotation languages for worst-case execution time analysis.
Kirner, Raimund ; Knoop, Jens ; Prantl, Adrian ; et al.
Software & Systems Modeling. Jul2011, Vol. 10 Issue 3, p411-437. 27p. 12 Diagrams, 2 Charts.

AVIONICS ELECTRONICS in transport... DIGITAL avionics ANNOTATIONS COMPUTER software
Fachzeitschrift
18

Multi-Heuristic Machine Intelligence Guidance in Automatic Test Pattern Generation
Roy, Soham ; Millican, Spencer K. ; Agrawal, Vishwani D.
2022 IEEE 31st Microelectronics Design & Test Symposium (MDTS) Microelectronics Design & Test Symposium (MDTS), 2022 IEEE 31st. :1-6 May, 2022

Konferenz
19

Research on automatic generation of test data for multi-path coverage
Zhang, Meng ; Li, Honghui
2021 4th International Conference on Advanced Electronic Materials, Computers and Software Engineering (AEMCSE) AEMCSE Advanced Electronic Materials, Computers and Software Engineering (AEMCSE), 2021 4th International Conference on. :1185-1188 Mar, 2021

Konferenz
20

Suspension-Based Locking Protocols for Parallel Real-Time Tasks
Jiang, Xu ; Guan, Nan ; Tang, Yue ; et al.
2019 IEEE Real-Time Systems Symposium (RTSS) RTSS Real-Time Systems Symposium (RTSS), 2019 IEEE. :274-286 Dec, 2019

Konferenz

Filter