Sciweavers

4421 search results - page 737 / 885
» Libraries
Sort
View
ICST
2010
IEEE
15 years 4 days ago
TestFul: An Evolutionary Test Approach for Java
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
IEEECIT
2010
IEEE
15 years 4 days ago
Research on Mobile Web Application Phone Simulator
Phone simulator is a simulation tool running on PC which can test debug phone software. It also provides front graphical user interface (GUI) like the true phone’s LCD. Develope...
Ziqiong Wang, Yanhong Peng, Lei Luo
ITP
2010
172views Mathematics» more  ITP 2010»
15 years 2 days ago
Automated Machine-Checked Hybrid System Safety Proofs
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...
Herman Geuvers, Adam Koprowski, Dan Synek, Eelis v...
JDWM
2010
139views more  JDWM 2010»
15 years 2 days ago
Mining Frequent Generalized Patterns for Web Personalization in the Presence of Taxonomies
The Web is a continuously evolving environment, since its content is updated on a regular basis. As a result, the traditional usagebased approach to generate recommendations that ...
Panagiotis Giannikopoulos, Iraklis Varlamis, Magda...
101
Voted
JUCS
2010
107views more  JUCS 2010»
15 years 1 days ago
Systematic Unit Testing in a Read-eval-print Loop
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
Kurt Nørmark