Semestr zimowy:

• 10.10.2013 Bartosz Frąckowiak Asercje architektoniczne

• 17.10.2013 Tomasz Biczel Wizualne narzędzia mierzące zależności między postrzeganymi cechami interfejsów użytkownika

• 24.10.2013 Vladimir Markovets Analiza dynamiczna systemów informatycznych

• 31.10.2013 Dzień dziekański

• 07.11.2013 P. Węgrzynowicz Automatyczne wykrywanie wzorców i antywzorców związanych z poprawnością, wydajnością i współbieżnością

• 14.11.2013 K. Jakubczyk Obrona pracy doktorskiej Source Code Analysis Techniques in Property Verification of Real Java Code, sala 2180, początek o 10:00

• 21.11.2013 Grzegorz Timoszuk Automatyczne przepakietowywanie oprogramowania

• 28.11.2013 Adam Wierzbicki Puzzle-Based Automatic Testing (http://dl.acm.org/citation.cfm?doid=2351676.2351697)

• Prezentacja: https://drive.google.com/file/d/0B2RkDf7Kb1I_Sko2UXB0RXhEUEE/edit?usp=sharing

• 05.12.2013 Dominik Jastrzębski Runtime monitoring of software energy hotspots http://dl.acm.org/citation.cfm?doid=2351676.2351699

• 12.12.2013 Bartlomiej Wojcicki LAMBDAFICATOR: from imperative to functional programming through automated refactoring (http://dl.acm.org/citation.cfm?id=2486986)

• 19.12.2013 Jakub Szponder Code patterns for automatically validating requirements-to-code traces (http://dl.acm.org/citation.cfm?doid=2351676.2351705)

• 09.01.2014 Filip Daca GUITest: A Java Library for Fully Automated GUI Robustness Testing (http://dl.acm.org/citation.cfm?doid=2351676.2351739)

• 16.01.2014 Pawel Nowosad Detecting Bad Smells in Source Code Using Change History Information (http://www.cs.wm.edu/~denys/pubs/ASE'13-HIST-Camera.pdf)

• Moja prezentacja z referatem: https://www.dropbox.com/s/lyh70b5jhynudyg/HIST.zip

• 23.01.2014 Andrzej Skrodzki Privtrans: Automatically Partitioning Program for Privilage Separation (http://dl.acm.org/citation.cfm?id=1251380)

• Prezentacja: https://docs.google.com/presentation/d/1LqViJAq5_1SshBzeYb-4tbeMQqbUQC4qeyLFbeehns4/edit?usp=sharing

Semestr letni:

• • 27.02.2014 Andrzej Skrodzki

  • 
    

  • 13.03.2014 Bartosz Frąckowiak

  • 20.03.2014 Bartłomiej Wójcicki Prezentacja

  • Empirical Validation of Object-Oriented Metrics on Open Source Software for Fault Prediction

  • Source Code Metrics and Maintainability: A Case Study

  • A Drill-Down Approach for Measuring Maintainability at Source Code Element Level

  • 27.03.2014 Adam Wierzbicki Prezentacja: https://drive.google.com/file/d/0B2RkDf7Kb1I_OFRQb3hjalB2TkE/edit?usp=sharing

  • “Failure Is a Four-Letter Word” (najważniejszy tekst):

  • http://dl.acm.org/citation.cfm?id=2020390.2020395

  • 03.04.2014 Tomasz Biczel Analiza pracy programistów na podstawie historii zmian w systemie kontroli wersji

  • Prezentacja

  • 10.04.2014 Dominik Jastrzębski Analiza zużycia energii przez aplikacje na platformę Android

  • Prezentacja

  • 24.04.2014 Dominik Jastrzębski Dokończenie referatu z 10.04.2014

  • 08.05.2014 Jakub Szponder

  • 15.05.2014 Witold Staniszkis End-user software engineering

  • 22.05.2014 Filip Daca Metody wizualizacji projektów informatycznych na podstawie konferencji VISSOFT - wstęp do pracy magisterskiej

  • 29.05.2014 Paweł Nowosad