1 | -- | 6 | Lucas C. Cordeiro, Eddie Batista de Lima Filho. SMT-Based Context-Bounded Model Checking for Embedded Systems: Challenges and Future Trends |
1 | -- | 7 | Madhusmita Sahu, Durga Prasad Mohapatra. Forward Dynamic Slicing of Web Applications |
4 | -- | 5 | Alex Groce. Passages |
6 | -- | 8 | Tao Xie. Diversity and Inclusion in Research Community: Remembering David Notkin |
8 | -- | 10 | Robert Schaefer. Science, Society, and Software Engineering Part 1: Scientists at work and play |
11 | -- | 18 | Mark Doernhoefer. Surfing the Net for Software Engineering Notes |
19 | -- | 26 | Peter G. Neumann. Risks to the Public |
27 | -- | 30 | Sridhar Chimalakonda, Dan-Hyung Lee. On the Evolution of Software and Systems Product Line Standards |
31 | -- | 33 | Michael Unterkalmsteiner, Gregory Gay, Michael Felderer, Elizabeth Bjarnason, Markus Borg, Mirko Morandini. Summary of the 3rd International Workshop on Requirements Engineering and Testing (RET 2016): [Co-located with REFSQ 2016] |
34 | -- | 35 | Adam Wojciechowski, Alok Mishra. The 3rd Workshop on Social and Algorithmic Issues in Business Support: Paradigms Derived from Text and Converted into Algorithms |