- Subscribe to this page:
- RSS
- Email Alert
Saarixx Labs
(13 results)-
Whitepapers
On Parameter Tuning in Search Based Software Engineering
June 22, 2011, 12:00am PDT
When applying Search-Based Software Engineering (SBSE) techniques one is confronted with a multitude of different parameters that need to be chosen: Which population size for a genetic algorithm?...
Provided by Saarixx Labs
-
Whitepapers
Combining Search-Based and Constraint-Based Testing
August 24, 2011, 12:00am PDT
Many modern automated test generators are based on either meta-heuristic search techniques or use constraint solvers. Both approaches have their advantages, but they also have specific drawbacks:...
Provided by Saarixx Labs
-
Whitepapers
Evolutionary Generation of Whole Test Suites
December 16, 2010, 12:00am PST
Recent advances in software testing allow automatic derivation of tests that reach almost any desired point in the source code. There is, however, a fundamental problem with the general idea of...
Provided by Saarixx Labs
-
Whitepapers
It Is Not the Length That Matters, It Is How You Control It
October 4, 2010, 12:00am PDT
The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intuitively longer tests...
Provided by Saarixx Labs
-
Whitepapers
Exploiting Common Object Usage in Test Case Generation
January 10, 2011, 12:00am PST
Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. The authors adapt test case generation to follow...
Provided by Saarixx Labs
-
Whitepapers
Mutation-Driven Generation of Unit Tests and Oracles
May 5, 2010, 12:00am PDT
To assess the quality of test suites, mutation analysis seeds artificial defects (mutations) into programs; a non-detected mutation indicates a weakness in the test suite. The authors present an...
Provided by Saarixx Labs
-
Whitepapers
Generating Test Suites With Augmented Dynamic Symbolic Execution
September 17, 2012, 12:00am PDT
Unit test generation tools typically aim at one of two objectives: to explore the program behaviour in order to exercise automated oracles, or to produce a representative test set that can be used...
Provided by Saarixx Labs
-
Whitepapers
Building and Maintaining Halls of Fame Over a Database
August 6, 2012, 12:00am PDT
Halls of Fame are fascinating constructs. They represent the elite of an often very large amount of entities - persons, companies, products, countries etc. Beyond their practical use as static...
Provided by Saarixx Labs
-
Whitepapers
AppGuard - Enforcing User Requirements on Android Apps
January 29, 2013, 12:00am PST
The success of Android phones makes them a prominent target for malicious software, in particular since the Android permission system turned out to be inadequate to protect the user against...
Provided by Saarixx Labs
-
Whitepapers
AppGuard - Real-Time Policy Enforcement for Third-Party Applications
July 5, 2012, 12:00am PDT
Android has become the most popular operating system for mobile devices, which makes it a prominent target for malicious software. The security concept of Android is based on app isolation and...
Provided by Saarixx Labs
-
Whitepapers
Logical Foundations of Secure Resource Management in Protocol Implementations
October 22, 2012, 12:00am PDT
Recent research has shown that it is possible to leverage general purpose theorem proving techniques to develop powerful type systems for the verification of a wide range of security properties on...
Provided by Saarixx Labs
-
Whitepapers
Affine Refinement Types for Authentication and Authorization
January 2, 2013, 12:00am PST
Refinement type systems have proved very effective for security policy verification in distributed authorization systems. In earlier work, the authors have proposed an extension of existing...
Provided by Saarixx Labs
-
Whitepapers
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach
December 4, 2012, 12:00am PST
Internet traffic is exposed to potential eavesdroppers. Standard encryption mechanisms do not provide sufficient protection: Features such as packet sizes and numbers remain visible, opening the...
Provided by Saarixx Labs
-
Whitepapers
Preventing Side-Channel Leaks in Web Traffic: A Formal Approach
December 4, 2012, 12:00am PST
Internet traffic is exposed to potential eavesdroppers. Standard encryption mechanisms do not provide sufficient protection: Features such as packet sizes and numbers remain visible, opening the...
Provided by Saarixx Labs
-
Whitepapers
Affine Refinement Types for Authentication and Authorization
January 2, 2013, 12:00am PST
Refinement type systems have proved very effective for security policy verification in distributed authorization systems. In earlier work, the authors have proposed an extension of existing...
Provided by Saarixx Labs
-
Whitepapers
Logical Foundations of Secure Resource Management in Protocol Implementations
October 22, 2012, 12:00am PDT
Recent research has shown that it is possible to leverage general purpose theorem proving techniques to develop powerful type systems for the verification of a wide range of security properties on...
Provided by Saarixx Labs
-
Whitepapers
AppGuard - Real-Time Policy Enforcement for Third-Party Applications
July 5, 2012, 12:00am PDT
Android has become the most popular operating system for mobile devices, which makes it a prominent target for malicious software. The security concept of Android is based on app isolation and...
Provided by Saarixx Labs
-
Whitepapers
AppGuard - Enforcing User Requirements on Android Apps
January 29, 2013, 12:00am PST
The success of Android phones makes them a prominent target for malicious software, in particular since the Android permission system turned out to be inadequate to protect the user against...
Provided by Saarixx Labs
-
Whitepapers
Building and Maintaining Halls of Fame Over a Database
August 6, 2012, 12:00am PDT
Halls of Fame are fascinating constructs. They represent the elite of an often very large amount of entities - persons, companies, products, countries etc. Beyond their practical use as static...
Provided by Saarixx Labs
-
Whitepapers
Generating Test Suites With Augmented Dynamic Symbolic Execution
September 17, 2012, 12:00am PDT
Unit test generation tools typically aim at one of two objectives: to explore the program behaviour in order to exercise automated oracles, or to produce a representative test set that can be used...
Provided by Saarixx Labs
-
Whitepapers
Mutation-Driven Generation of Unit Tests and Oracles
May 5, 2010, 12:00am PDT
To assess the quality of test suites, mutation analysis seeds artificial defects (mutations) into programs; a non-detected mutation indicates a weakness in the test suite. The authors present an...
Provided by Saarixx Labs
-
Whitepapers
Exploiting Common Object Usage in Test Case Generation
January 10, 2011, 12:00am PST
Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. The authors adapt test case generation to follow...
Provided by Saarixx Labs
-
Whitepapers
It Is Not the Length That Matters, It Is How You Control It
October 4, 2010, 12:00am PDT
The length of test cases is a little investigated topic in search-based test generation for object oriented software, where test cases are sequences of method calls. While intuitively longer tests...
Provided by Saarixx Labs
-
Whitepapers
Evolutionary Generation of Whole Test Suites
December 16, 2010, 12:00am PST
Recent advances in software testing allow automatic derivation of tests that reach almost any desired point in the source code. There is, however, a fundamental problem with the general idea of...
Provided by Saarixx Labs
-
Whitepapers
Combining Search-Based and Constraint-Based Testing
August 24, 2011, 12:00am PDT
Many modern automated test generators are based on either meta-heuristic search techniques or use constraint solvers. Both approaches have their advantages, but they also have specific drawbacks:...
Provided by Saarixx Labs
-
Whitepapers
On Parameter Tuning in Search Based Software Engineering
June 22, 2011, 12:00am PDT
When applying Search-Based Software Engineering (SBSE) techniques one is confronted with a multitude of different parameters that need to be chosen: Which population size for a genetic algorithm?...
Provided by Saarixx Labs
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
