Sciweavers

900 search results - page 47 / 180
» Object-Oriented Software Testing: Some Research and Developm...
Sort
View
ICDT
2003
ACM
150views Database» more  ICDT 2003»
15 years 6 months ago
Bioinformatics Adventures in Database Research
Informatics has helped launch molecular biology into the genomic era. It appears certain that informatics will remain a major contributor to molecular biology in the post-genome er...
Jinyan Li, See-Kiong Ng, Limsoon Wong
DBSEC
2008
137views Database» more  DBSEC 2008»
15 years 2 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
INFSOF
2000
109views more  INFSOF 2000»
15 years 1 months ago
Constructing component-based software engineering environments: issues and experiences
Developing software engineering tools is a difficult task, and the environments in which these tools are deployed continually evolve as software developers' processes, tools ...
John C. Grundy, Warwick B. Mugridge, John G. Hoski...
CHARME
2001
Springer
133views Hardware» more  CHARME 2001»
15 years 5 months ago
View from the Fringe of the Fringe
Formal analysis remains outside the mainstream of system design practice. Interactive methods and tools are regarded by some to be on the margin of useful research in this area. Al...
Steven D. Johnson
SIGSOFT
2010
ACM
14 years 11 months ago
Basset: a tool for systematic testing of actor programs
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
Steven Lauterburg, Rajesh K. Karmani, Darko Marino...