Zobrazeno 1 - 10
of 82
pro vyhledávání: '"K. C. Shashidhar"'
Publikováno v:
Journal of the Indian Academy of Clinical Medicine; Jul-Sep2024, Vol. 25 Issue 3, p141-143, 3p
Autor:
K. C. Shashidhar
Publikováno v:
Cosmoderma. 3:63
Publikováno v:
Software Testing, Verification and Reliability. 24:155-180
Model-based test generation techniques based on random input generation and guided simulation do not satisfy the demands of high test coverage and completeness guarantees as required by safety-critical applications. Recently, test generation techniqu
Publikováno v:
IEEE Software. 29:62-69
Lack of precise specification is a well-known problem in the software industry. This article covers some peculiar aspects of the problem and its causes in the automotive software industry. The authors describe how the situation motivates engineers to
Publikováno v:
SAE International Journal of Passenger Cars - Electronic and Electrical Systems. 1:45-52
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642288906
NASA Formal Methods
NASA Formal Methods
We present CLSE, a closed-loop symbolic execution engine for control system implementations. CLSE takes as input the description of a physical plant represented by a system of linear ordinary differential equations, the software implementation and ex
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5aacf6f784ba05b1b137a9d66bfd165
https://doi.org/10.1007/978-3-642-28891-3_33
https://doi.org/10.1007/978-3-642-28891-3_33
Publikováno v:
ISSTA
The current practice of component based engineering raises concerns in industry when the specification of proprietary components suffers from inaccuracy and incompleteness. Engineers face difficulties in producing quality systems when they lack knowl
Publikováno v:
ASE
We present the CoGenTe tool for automated black-box testing of code generators. A code generator is a program that takes a model in a high-level modeling language as input, and outputs a program that captures the behaviour of the model. Thus, a code
Autor:
Rajeev Alur, Franjo Ivancic, Aditya Kanade, S. Ramesh, Sriram Sankaranarayanan, K. C. Shashidhar
Publikováno v:
Computer Aided Verification ISBN: 9783642026577
CAV
CAV
We present a methodology and a toolkit for improving simulation coverage of Simulink/Stateflow models of hybrid systems using symbolic analysis of simulation traces. We propose a novel instrumentation scheme that allows the simulation engine of Simul
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4592361f14774aeb52ecfb8f88ce8a98
https://doi.org/10.1007/978-3-642-02658-4_33
https://doi.org/10.1007/978-3-642-02658-4_33
Publikováno v:
EMSOFT
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simulation and symbolic methods for computing state-sets. We consider system