Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
443
H.: FShell: Systematic test case generation for dynamic analysis and measurement
- In: Computer Aided Verification (CAV). Volume 5123 of LNCS
, 2008
"... Abstract. Although the principal analogy between counterexample generation and white box testing has been repeatedly addressed, the usage patterns and per-formance requirements for software testing are quite different from formal verifi-cation. Our tool FSHELL provides a versatile testing environmen ..."
Abstract
-
Cited by 19 (5 self)
- Add to MetaCart
into FSHELL and describe architec-tural modifications which support efficient test case generation. 1
Motivation through the Design of Work: Test of a Theory. Organizational Behavior and Human Performance,
, 1976
"... A model is proposed that specifies the conditions under which individuals will become internally motivated to perform effectively on their jobs. The model focuses on the interaction among three classes of variables: (a) the psychological states of employees that must be present for internally motiv ..."
Abstract
-
Cited by 622 (2 self)
- Add to MetaCart
for this finding than do measures of subcultural background or of generalized work values. THE JOB CHARACTERISTICS MODEL The model presented and tested in this paper is an attempt to extend, refine, and systematize the relationships described above between job characteristics and individual responses to the work
Towards automatic generation of vulnerability-based signatures
, 2006
"... In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic variants. Our work departs from previous approaches by focusing on the semantics of the program and vulnerability exerci ..."
Abstract
-
Cited by 153 (28 self)
- Add to MetaCart
) of the vulnerability language. Unlike exploitbased signatures whose error rate can only be empirically measured for known test cases, the quality of a vulnerability signature can be formally quantified for all possible inputs. We provide a formal definition of a vulnerability signature and investigate
A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints
- Real-Time Systems
, 1998
"... This paper contrasts two methods to verify timing constraints of real-time applications. The method of static analysis predicts the worst-case and best-case execution times of a task's code by analyzing execution paths and simulating processor characteristics without ever executing the program ..."
Abstract
-
Cited by 117 (36 self)
- Add to MetaCart
or requiring the program's input. Evolutionary testing is an iterative testing procedure, which approximates the extreme execution times within several generations. By executing the test object dynamically and measuring the execution times the inputs are guided yielding gradually tighter predictions
Simulations on Consumer Tests: A Systematic Evaluation Approach in an Industrial Case Study
"... Abstract—Context: Consumer tests for vehicles have long a tradition of almost two decades in Europe to assess vehicular safety abilities. For active safety systems like an emergency braking guard, different consumer-test-organizations (CTOs) around the world intensify now the challenges for automoti ..."
Abstract
- Add to MetaCart
for automotive Original Equipment Manufacturer (OEM) in terms of specific test protocols. Objective: This work focuses on the systematic generation of possible vehicle trajectories within the allowed tolerance ranges for a simulation environment. It is of great interest to which extent the different test
Whom You Know Matters: Venture Capital Networks and Investment Performance,
- Journal of Finance
, 2007
"... Abstract Many financial markets are characterized by strong relationships and networks, rather than arm's-length, spot-market transactions. We examine the performance consequences of this organizational choice in the context of relationships established when VCs syndicate portfolio company inv ..."
Abstract
-
Cited by 138 (8 self)
- Add to MetaCart
marginal companies public, thus generating the appearance of better performance as measured by the VC's exit rate or a portfolio company's survival probability, but which would presumably not be reflected in actual investment returns (which we do not observe). To test this alternative hypothesis
Longer-term effects of Head Start
- American Economic Review
, 2002
"... Abstract Public early intervention programs like Head Start are often justified as investments in children. Yet nothing is known about the long-term effects of Head Start. This paper draws on unique data from the Panel Study of Income Dynamics to provide new evidence on the effects of Head Start on ..."
Abstract
-
Cited by 131 (5 self)
- Add to MetaCart
to another preschool since Head Start is targeted at disadvantaged children. So it is, in fact, β 2 that is more likely to be biased upwards. In this case, the difference β 1 -β 2 could be considered a lower bound estimate of the effect of Head Start where the estimate takes into account systematic
Nested analysis as a mixed-method strategy for comparative research. American Political Science Review 99:435–52
"... Despite repeated calls for the use of "mixed methods " in comparative analysis, political scientists have few systematic guides for carrying out such work. This paper details a unified approach which joins intensive case-study analysis with statistical analysis. Not only are the advantages ..."
Abstract
-
Cited by 85 (0 self)
- Add to MetaCart
Despite repeated calls for the use of "mixed methods " in comparative analysis, political scientists have few systematic guides for carrying out such work. This paper details a unified approach which joins intensive case-study analysis with statistical analysis. Not only
Combined Architecture for Early Test Case Generation and Test suit Reduction
"... Model based combinatorial testing is the most effective and efficient method of systematic interaction testing. In this multiple variables can interact with test model in the form of combination and each set is considered as a test pairs. It is used mainly for reducing the test pair‟s size, complexi ..."
Abstract
- Add to MetaCart
, complexity and time of test generation. Accomplishment of this reduction task is the most vibrant and tedious activity because this consist of test data extraction, boundary analysis, path measurement analysis, condition coverage etc. The problem with Model based combinatorial testing is optimization of cost
Results 1 - 10
of
443
