303 search results - page 15 / 61 » Robust Test Generation and Coverage for Hybrid Systems |
JOT
2010
13 years 6 months ago
2010
Abstract We propose a novel testing technique for object-oriented programs. Based on the state and activity models of a system, we construct an intermediate representation, which w...
DAC
2003
ACM
14 years 28 days ago
2003
ACM
To improve the system performance, designs with multiple clocks have become more and more popular. In this paper, several novel test generation procedures are proposed to utilize ...
ECOOP
2000
Springer
14 years 9 hour ago
2000
Springer
We have recently shown how use cases can be systematically transformed into UML state charts considering all relevant information from a use case specification, including pre- and ...
SRDS
2008
IEEE
14 years 2 months ago
2008
IEEE
Firewalls are the mainstay of enterprise security and the most widely adopted technology for protecting private networks. As the quality of protection provided by a firewall dire...
IJCAI
2003
13 years 9 months ago
2003
After many successes, statistical approaches that have been popular in the parsing community are now making headway into Natural Language Generation (NLG). These systems are aimed...