185 search results - page 26 / 37 » Generating test cases for specification mining |
ICDM
2005
IEEE
14 years 1 months ago
2005
IEEE
An outlier is an observation that deviates so much from other observations as to arouse suspicion that it was generated by a different mechanism. Outlier detection has many applic...
BMCBI
2006
13 years 7 months ago
2006
Background: AMP-activated protein kinase (AMPK) has emerged as a significant signaling intermediary that regulates metabolisms in response to energy demand and supply. An investig...
SIGSOFT
2009
ACM
14 years 8 months ago
2009
ACM
Many testing and analysis techniques use finite state models to validate and verify the quality of software systems. Since the specification of such models is complex and timecons...
ICSE
2001
IEEE-ACM
14 years 3 days ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
KDD
2008
ACM
14 years 8 months ago
2008
ACM
Privacy-preserving data mining (PPDM) is an emergent research area that addresses the incorporation of privacy preserving concerns to data mining techniques. In this paper we prop...