0824d0b | Ben Spencer | 01 February 2018, 17:33:51 UTC | Typos in docs | 01 February 2018, 17:33:51 UTC |
8d9c6bd | Ben Spencer | 29 January 2018, 09:19:23 UTC | Extra debug info for reordering mode. | 29 January 2018, 09:19:23 UTC |
5206149 | Ben Spencer | 25 January 2018, 11:24:25 UTC | Fix a bug with radio button handling in reordering mode. | 25 January 2018, 11:24:25 UTC |
a44e76a | Ben Spencer | 23 January 2018, 14:45:35 UTC | Fix bug with select restrictions not being applied to PCs in the submit button in reordering mode. | 23 January 2018, 14:45:35 UTC |
2fe4e0f | Ben Spencer | 22 January 2018, 17:10:41 UTC | Temporary switch to simpler input simulation in concolic-reordering mode for some experiments. | 22 January 2018, 17:10:41 UTC |
9a2dd09 | Ben Spencer | 22 January 2018, 15:50:28 UTC | Fix a bug in reordering mode if there is only a single field. | 22 January 2018, 15:50:28 UTC |
3522832 | Ben Spencer | 19 January 2018, 15:04:29 UTC | Include duplicate resutls from a single file in analysecoverage.py | 19 January 2018, 15:04:29 UTC |
d313c60 | Ben Spencer | 18 January 2018, 18:34:48 UTC | Do not give an error on unexpected chars in test suite output. | 18 January 2018, 18:34:48 UTC |
276cfe9 | Ben Spencer | 16 January 2018, 13:20:58 UTC | Fix a bug with integer coercions and select boxes in the reordering mode. | 16 January 2018, 13:20:58 UTC |
396c90c | Ben Spencer | 11 January 2018, 12:11:05 UTC | Fix a bug with injecting certain special characters. | 11 January 2018, 12:11:05 UTC |
c129e39 | Ben Spencer | 10 January 2018, 09:31:54 UTC | Typo | 10 January 2018, 09:31:54 UTC |
3c97262 | Ben Spencer | 08 January 2018, 12:48:17 UTC | Debugging sym info loss during strict equality checks. | 08 January 2018, 12:48:17 UTC |
2bbf219 | Ben Spencer | 08 January 2018, 08:50:27 UTC | Removed an occasional error when solving PCs including difficult branches. | 08 January 2018, 08:50:27 UTC |
b53bea5 | Ben Spencer | 05 January 2018, 15:38:07 UTC | Debugging intermittent issue with certain symbolic string operations. | 05 January 2018, 15:38:07 UTC |
5f88839 | Ben Spencer | 04 January 2018, 09:56:31 UTC | Typo | 04 January 2018, 09:56:31 UTC |
5b6cb68 | Ben Spencer | 05 December 2017, 17:30:47 UTC | Proper decoding of SOME escape sequences from solved results. | 05 December 2017, 17:30:47 UTC |
940b683 | Ben Spencer | 20 November 2017, 17:21:50 UTC | Add upper/lower case tests. | 20 November 2017, 17:21:50 UTC |
24210a9 | Ben Spencer | 31 October 2017, 13:29:45 UTC | Add statistics for the first success found in concolic and concolic-reordering mdoes. | 31 October 2017, 13:32:37 UTC |
95f71ca | Ben Spencer | 31 October 2017, 11:44:04 UTC | Add statistics for when the first new URL is discovered in Artemis. | 31 October 2017, 11:44:04 UTC |
4b5d962 | Ben Spencer | 29 October 2017, 13:12:06 UTC | Add support for String.trim | 29 October 2017, 13:12:06 UTC |
86b3811 | Ben Spencer | 28 October 2017, 19:58:29 UTC | Fix a bug in the concolic_real_sites test script | 28 October 2017, 19:58:29 UTC |
aaaa0f3 | Ben Spencer | 24 October 2017, 11:18:40 UTC | Add some test cases to cover missing concolic functionality. | 24 October 2017, 11:18:40 UTC |
4c2a7a4 | Ben Spencer | 23 October 2017, 08:50:38 UTC | Add logging of which URLs were seen on which iterations in Artemis. | 23 October 2017, 08:57:23 UTC |
82d6ff9 | Ben Spencer | 19 October 2017, 11:17:41 UTC | Tidying | 19 October 2017, 11:17:41 UTC |
b0d9be2 | Ben Spencer | 16 October 2017, 12:35:13 UTC | Include nodes from divergent traces in the trace statistics, so we can still measure behaviour in divergent traces. | 16 October 2017, 12:35:13 UTC |
50ac130 | Ben Spencer | 14 October 2017, 15:18:51 UTC | Update the concolic real sites test suite to support the new event-filter-area parameter. | 14 October 2017, 15:18:51 UTC |
7c2eb11 | Ben Spencer | 14 October 2017, 14:14:54 UTC | Improve URL detection I don't know why the old method was not working well, but it would miss URLs which did seem to be explored. Using sigPageLoadScheduled instead of sigNavigationRequest sems to have helped. | 14 October 2017, 14:14:54 UTC |
bee3e61 | Ben Spencer | 14 October 2017, 12:55:17 UTC | Small statistics fix. | 14 October 2017, 12:55:17 UTC |
d117302 | Ben Spencer | 14 October 2017, 11:30:21 UTC | Add statistic to track URLs discovered in mjor-mode artemis. | 14 October 2017, 11:30:21 UTC |
ff6ee7e | Ben Spencer | 13 October 2017, 15:53:48 UTC | Add an option to the 'artemis' mode which restricts it to search for actions within a certain DOM area. This is merged with the previous concolic-form-area and renamed to event-filter-area. | 13 October 2017, 15:53:48 UTC |
7deb582 | Ben Spencer | 13 October 2017, 15:10:58 UTC | Remove outdated concolic-mode development output from artemis runtime. | 13 October 2017, 15:10:58 UTC |
d5560f2 | Ben Spencer | 13 October 2017, 14:17:58 UTC | Add support for concolic-form-area to the reordering mode. | 13 October 2017, 14:17:58 UTC |
7c5091e | Ben Spencer | 13 October 2017, 14:11:11 UTC | Add an option to restrict the concolic mode to only trigger events from a certain subset of the DOM. | 13 October 2017, 14:11:11 UTC |
3e3dace | Ben Spencer | 12 October 2017, 16:27:21 UTC | Statistics logging on-the-fly | 12 October 2017, 16:27:21 UTC |
c0e05cf | Ben Spencer | 12 October 2017, 11:57:38 UTC | Replace the (no longer working) google sheets logger with a CSV based version. | 12 October 2017, 11:57:38 UTC |
96664fc | Ben Spencer | 11 October 2017, 16:26:48 UTC | New airlines test suite | 11 October 2017, 16:26:48 UTC |
03c3298 | Ben Spencer | 10 October 2017, 13:44:28 UTC | Add support for AJAX and timers to the main concolic mode. | 10 October 2017, 13:44:28 UTC |
8c254ef | Ben Spencer | 10 October 2017, 12:10:10 UTC | Refactor the async events support into Runtime so it can be shared between different modes. | 10 October 2017, 12:10:10 UTC |
6856906 | Ben Spencer | 04 October 2017, 15:30:05 UTC | Include the button click action in statistics for concolic-reordering mode. | 04 October 2017, 15:30:05 UTC |
c0de2e6 | Ben Spencer | 04 October 2017, 14:13:04 UTC | Add statistics about the handler dependency graph. | 04 October 2017, 14:13:04 UTC |
fb61287 | Ben Spencer | 28 September 2017, 15:16:41 UTC | Mode concolic-reordering respects the settings of concolic-tree-output. | 28 September 2017, 15:16:41 UTC |
67ddbf9 | Ben Spencer | 28 September 2017, 15:04:51 UTC | Remove leftover stub method. | 28 September 2017, 15:04:51 UTC |
d9ccd27 | Ben Spencer | 28 September 2017, 14:33:05 UTC | Update concolic_reordering test suite to include support for submit buttons as well. | 28 September 2017, 14:33:05 UTC |
fd5a06f | Ben Spencer | 28 September 2017, 13:08:07 UTC | Add support for form submission buttons with a fixed position at the end of the action sequence. | 28 September 2017, 13:08:07 UTC |
0745596 | Ben Spencer | 27 September 2017, 09:59:42 UTC | Add a test suite for the concolic-reordering mode. | 27 September 2017, 09:59:42 UTC |
1c26373 | Ben Spencer | 26 September 2017, 14:42:37 UTC | Add some statistics and logging to the new mode. | 26 September 2017, 14:42:37 UTC |
f968957 | Ben Spencer | 26 September 2017, 11:08:26 UTC | Fix bug by making all fields symbolic in all iterations. | 26 September 2017, 11:08:26 UTC |
2cb4921 | Ben Spencer | 26 September 2017, 11:03:13 UTC | Track the current exploration handle so missed branches can be marked. | 26 September 2017, 11:03:13 UTC |
60c37ac | Ben Spencer | 26 September 2017, 10:53:35 UTC | Fix a bug in ReachablePathsConstraintGenerator | 26 September 2017, 10:53:35 UTC |
127f7cf | Ben Spencer | 26 September 2017, 10:48:44 UTC | Add the iteration loop to the concolic-reordering runtime. | 26 September 2017, 10:48:44 UTC |
2766781 | Ben Spencer | 26 September 2017, 10:33:35 UTC | Decode solved values in concolic-reordering runtime. | 26 September 2017, 10:33:35 UTC |
9a34270 | Ben Spencer | 26 September 2017, 09:13:04 UTC | Fix a bug in terminating the concolic-reordering runtime. | 26 September 2017, 09:13:04 UTC |
1de5e38 | Ben Spencer | 25 September 2017, 18:26:21 UTC | Fix a bug reading out the default values of select boxes. | 25 September 2017, 18:26:21 UTC |
e27f6ef | Ben Spencer | 25 September 2017, 16:58:09 UTC | Add selectedIndex constraints to the renaming constraints in the reordering mode. | 25 September 2017, 16:58:09 UTC |
5e0423c | Ben Spencer | 25 September 2017, 10:39:02 UTC | Use round-robin to deterministically select which action to explore next. | 25 September 2017, 10:39:02 UTC |
09308df | Ben Spencer | 25 September 2017, 10:18:55 UTC | Handle the case when an action cannot be explored and we need to try another. | 25 September 2017, 10:18:55 UTC |
0e2b372 | Ben Spencer | 25 September 2017, 09:31:48 UTC | Fix crash in non-reordering modes. | 25 September 2017, 09:31:48 UTC |
6752c5f | Ben Spencer | 21 September 2017, 15:13:54 UTC | Only emit ordering constraints for those variables which are used in the PC or the reachable-paths constraints. | 21 September 2017, 15:13:54 UTC |
0e3f230 | Ben Spencer | 21 September 2017, 12:15:23 UTC | Decode the ordering from the solver's result. | 21 September 2017, 12:15:23 UTC |
15c81f9 | Ben Spencer | 21 September 2017, 11:22:15 UTC | Use the type analysis information when generating the renaming/ordering constraints, so we don't end up with type mismatches for coerced variables. N.B. this works when the coercions are consistent - i.e. each handler coearces a certain variable or doesn't. If the coercions are not consistent, we will generate a type error. | 21 September 2017, 11:22:15 UTC |
9a206be | Ben Spencer | 20 September 2017, 17:02:25 UTC | Fix a bug where the type checker would complain when writing the reachable-paths constraints because it had not been able to analyse them yet. | 20 September 2017, 17:02:25 UTC |
1b32516 | Ben Spencer | 20 September 2017, 16:12:06 UTC | Fix a bug with index constraints of select boxes where there was no value constraint. | 20 September 2017, 16:12:06 UTC |
55e474e | Ben Spencer | 20 September 2017, 15:05:59 UTC | Generate form restrictions for variables used in either the PC or the reachable-paths constraints. Also handle the renaming of index variables correctly. | 20 September 2017, 15:05:59 UTC |
81d4e5c | Ben Spencer | 20 September 2017, 12:43:49 UTC | Include (static) form restrictions in reordering mode. | 20 September 2017, 12:43:49 UTC |
f346a36 | Ben Spencer | 20 September 2017, 11:04:59 UTC | New test case to check the new mode on various kinds of form fields. | 20 September 2017, 11:04:59 UTC |
2b74eb6 | Ben Spencer | 20 September 2017, 11:04:37 UTC | Smiplify the output for ordering constraints to have a single variable per field. | 20 September 2017, 11:04:37 UTC |
a1a47ce | Ben Spencer | 19 September 2017, 17:39:52 UTC | WIP on generating the linear ordering constraints. | 19 September 2017, 17:39:52 UTC |
ab1c454 | Ben Spencer | 19 September 2017, 14:36:57 UTC | Fix typo in CVC4Solver | 19 September 2017, 14:36:57 UTC |
ff3a796 | Ben Spencer | 19 September 2017, 13:41:11 UTC | Renamed ConcolicVariableRenamer to ReorderingConstraintInfo ready for future use. | 19 September 2017, 13:41:11 UTC |
05f8067 | Ben Spencer | 19 September 2017, 12:06:46 UTC | Fix a bug with generating variable declarations in the constraint file. | 19 September 2017, 12:06:46 UTC |
d70c013 | Ben Spencer | 19 September 2017, 11:57:01 UTC | Add a new test case showing that the renaming works in different actions. | 19 September 2017, 11:57:01 UTC |
a30790d | Ben Spencer | 19 September 2017, 11:38:46 UTC | Remove some uneccessary encoding for the CVC4 solver. | 19 September 2017, 11:38:46 UTC |
b1a39da | Ben Spencer | 19 September 2017, 11:31:53 UTC | Add variable renaming to the PC and the reachable-paths constraints in the concolic reordering runtime. | 19 September 2017, 11:31:53 UTC |
48cf9af | Ben Spencer | 18 September 2017, 17:01:19 UTC | Modify the concolic analsis to be able to generate reachable-paths constraints and solve them. | 18 September 2017, 17:01:19 UTC |
0fb5e46 | Ben Spencer | 18 September 2017, 14:45:56 UTC | Add support for concrete branches to the reachable-paths constraint generator. | 18 September 2017, 14:45:56 UTC |
224022c | Ben Spencer | 18 September 2017, 13:15:40 UTC | Add constraint writing for the reachable-paths constraints in the standard constraint writer. | 18 September 2017, 13:15:40 UTC |
0c765bd | Ben Spencer | 15 September 2017, 16:29:33 UTC | WIP on reachable-path constraint genertor. | 15 September 2017, 16:29:33 UTC |
1500b74 | Ben Spencer | 15 September 2017, 14:25:30 UTC | WIP on reachable-path constraint genertor. | 15 September 2017, 14:25:40 UTC |
f4ef16f | Ben Spencer | 14 September 2017, 15:47:08 UTC | First work on a constraint generator for the OverApprox constraints for trees. | 14 September 2017, 15:47:08 UTC |
40f4552 | Ben Spencer | 13 September 2017, 16:54:25 UTC | Add concolic trees and recording of each action. | 13 September 2017, 16:54:25 UTC |
adc51c4 | Ben Spencer | 13 September 2017, 15:39:52 UTC | Reduce noise in debug output. | 13 September 2017, 15:39:52 UTC |
55f9ed1 | Ben Spencer | 13 September 2017, 15:03:20 UTC | Add a pool of actions which can (not yet) be reordered and executed. | 13 September 2017, 15:03:20 UTC |
e48e512 | Ben Spencer | 13 September 2017, 12:19:16 UTC | Skeleton code for the new major-mode. | 13 September 2017, 12:19:16 UTC |
deaa646 | Ben Spencer | 13 September 2017, 10:06:24 UTC | Stub for new major-mode concolic-reordering | 13 September 2017, 10:06:24 UTC |
b50a381 | Ben Spencer | 13 September 2017, 09:53:09 UTC | Simple test cases for concolic reordering. | 13 September 2017, 09:53:09 UTC |
8c7943d | Ben Spencer | 07 September 2017, 17:02:36 UTC | Merge branch 'master' of github.com:cs-au-dk/Artemis | 07 September 2017, 17:02:36 UTC |
7fc7b64 | Ben Spencer | 07 September 2017, 17:02:02 UTC | More substr tests. | 07 September 2017, 17:02:02 UTC |
0742999 | Ben Spencer | 07 September 2017, 16:44:01 UTC | Fix bugs in the translation of substr/substring constraints. | 07 September 2017, 16:44:01 UTC |
589e2b7 | Ben Spencer | 06 July 2017, 19:38:15 UTC | Typos in readme | 06 July 2017, 19:38:15 UTC |
dcc15d8 | Ben Spencer | 05 July 2017, 13:19:34 UTC | Merge branch 'feature-demo' | 05 July 2017, 13:19:34 UTC |
abfa90d | Ben Spencer | 05 July 2017, 13:19:15 UTC | Revert demo-screencast specific option settings. | 05 July 2017, 13:19:15 UTC |
48aa2d6 | Ben Spencer | 15 June 2017, 15:24:05 UTC | Make the coverage report colours easier to discriminate and more accessible. Colours from: http://www.colourlovers.com/palette/3304922/Walking_Away http://www.colourlovers.com/palette/26312/Orange_Technical | 15 June 2017, 15:24:05 UTC |
867417c | Ben Spencer | 15 June 2017, 14:43:37 UTC | Typo | 15 June 2017, 14:43:37 UTC |
befc8eb | Ben Spencer | 01 June 2017, 10:16:18 UTC | Readme fixes | 01 June 2017, 10:16:18 UTC |
701c3a1 | Ben Spencer | 24 May 2017, 17:36:51 UTC | Fix broken link in readme. | 24 May 2017, 17:36:51 UTC |
4b1b62f | Ben Spencer | 24 May 2017, 17:35:26 UTC | Typo | 24 May 2017, 17:35:26 UTC |
c434d5a | Ben Spencer | 23 May 2017, 15:38:39 UTC | Merge branch 'master' into feature-demo | 23 May 2017, 15:38:39 UTC |
69a2349 | Ben Spencer | 23 May 2017, 15:36:49 UTC | Specifically call out which parts of the code are new components specifically for ArtForm. | 23 May 2017, 15:37:37 UTC |
fd6ad6b | Ben Spencer | 23 May 2017, 14:38:45 UTC | Update ArtForm readme. | 23 May 2017, 15:37:24 UTC |
4625971 | Ben Spencer | 23 May 2017, 15:36:49 UTC | Specifically call out which parts of the code are new components specifically for ArtForm. | 23 May 2017, 15:36:49 UTC |