This paper presents FitSpec, a tool providing automated assistance in the task of refining sets test properties for Haskell functions. FitSpec tests mutant variations functions under against given property set, recording any surviving mutants that pass all tests. The number and smallest survivor are presented to user. A indicates incompleteness prompting user amend or add new one, making set stronger. Based on same results, also provides conjectures form equivalences implications between...

This paper presents Speculate, a tool that automatically conjectures laws involving conditional equations and inequalities about Haskell functions. Speculate enumerates expressions given collection of functions, testing to separate those into apparent equivalence classes. Expressions in the same class are used conjecture equations. Representative different classes inequalities. uses lightweight equational reasoning based on term rewriting discard redundant avoid needless testing. Several...

The advent of wireless networks has increased the demand for research. Context-aware applications must adapt to environment in which they are inserted, and, this, information on both device's hardware and characteristics is crucial. In this work, we propose a method - called Natural Adaptive Exponential Smoothing Algorithm (NAES) describe forecast, real time, channel behavior IEEE 802.11 WLAN networks. NAES uses variation exponential smoothing technique compute quality indicators, namely...

This paper presents a new tool called Extrapolate that automatically generalizes counterexamples found by property-based testing in Haskell. Example applications show generalized can inform the programmer more fully and immediately what characterises failures. is able to produce general results than similar tools. Although it intrinsically unsound, as reported generalizations are based on testing, works well for examples drawn from previous published work this area.

This paper presents Speculate, a tool that automatically conjectures laws involving conditional equations and inequalities about Haskell functions. Speculate enumerates expressions given collection of functions, testing to separate those into apparent equivalence classes. Expressions in the same class are used conjecture equations. Representative different classes inequalities. uses lightweight equational reasoning based on term rewriting discard redundant avoid needless testing. Several...

This paper presents FitSpec, a tool providing automated assistance in the task of refining sets test properties for Haskell functions. FitSpec tests mutant variations functions under against given property set, recording any surviving mutants that pass all tests. The number and smallest survivor are presented to user. A indicates incompleteness prompting user amend or add new one, making set stronger. Based on same results, also provides conjectures form equivalences implications between...

The growth of wireless network use has greatly increased research demand. Some applications, which are context-aware, must adapt to the environment. So, information on both environment characteristics and device's hardware crucial. In this work, a new method called Natural Adaptive Exponential Smoothing (NAES) is proposed. It describes forecasts, in real time, IEEE 802.11 WLAN networks channel behavior. NAES variation exponential smoothing technique compute quality indicators, namely...

The use of Wireless Mesh Networks has growing in areas without telecommunication infrastructure. One the main problems is network performance due to low capacity processors used intermediary mesh nodes. We propose a hardware implementation IP Checksum incremental update FPGA (Field Programmable Gate Array) or ASIC (Application Specific Integrated Circuits). Then, this compared with kernel Linux TCP/IP implementation.

The advent of wireless networks has increased the demand for research greatly. Context-aware applications must adapt to environment in which they are inserted, and, this, information on both device's hardware and characteristics is crucial. In this work, we propose a method - called natural adaptive exponential smoothing (NAES) describe forecast, real time, channel behavior IEEE 802.11 WLAN networks. NAES uses variation technique compute quality indicators, namely received signal strength...

This paper presents Express, a library for manipulating dynamically typed Haskell expressions involving function application and variables. Express works as wrapper around the Data.Dynamic module provides additional features such as: explicit encoding of applicaion thus delayed between values, support variable placeholders expression matching. shows these additions make this useful in generating program specifications, automated testing synthesis.