Testing temporal properties with Temporally Enhanced Security Logic Assertions (TESLA)

Abstract

Schedule

week

plan

status

week 1, May 23 - May 29

writing tests for the tesla instrumenter, writing TESLA assertions, extending TESLA framework, writing weekly report

Status

week 2, May 30 - June 5

Fixing bugs, reading sources, VM research

Status

week 3, June 6 - June 12

Fixing bugs, writing basic examples , llvm/clang research,

Status

week 4, June 13 - June 19

writing TESLA assertions , extending TESLA framework, writing fuzzers, bug fixing

Status

week 5, June 20 - June 26

writing TESLA assertions , extending TESLA framework , writing test cases , writing fuzzers , testing , bug fixing

Status

week 6, June 27 - July 3

writing TESLA assertions , extending TESLA framework , writing test cases , writing fuzzers , testing , writing test reports draft , bug fixing

Status

week 7, July 4 - July 10

writing TESLA assertions , extending TESLA framework , writing test cases , writing fuzzers , testing , mid-term report

Status

week 8, July 11 - July 17

stress2 tests , writing TESLA assertions , extending TESLA framework , testing , bug fixing

week 9, July 18 - July 24

stress2 tests , writing TESLA assertions , extending TESLA framework , testing , bug fixing

week 10, July 25 - July 31

writing test reports , writing final report (article)

week 11, August 1 - August 7

writing TESLA assertions , extending TESLA framework , test reports release , writing final report (article)

week 12, August 7 - August 15

extending TESLA framework , doing clean-ups , testing test cases database , final report release (article)

Milestones

Respository

Tutorial

References

Contact

ShmSoc2011 (last edited 2011-07-14T06:53:46+0000 by MateuszKocielski)